Tony Morris

@puffnfresh The practical element is that you still cannot abstract over map on ISet.

@djspiewak Coyoneda[ISet] // what's the problem?

@puffnfresh Coyoneda[ISet] != ISet. That’s the problem.

@djspiewak no, what's the PRACTICAL problem?

@puffnfresh You’re making the argument that there is no distinction between this and having Functor[ISet].

@djspiewak oh, there is definitely a distinction: Functor[Coyoneda[ISet]] makes sense - Functor[ISet] does not.

@puffnfresh The only reason Functor[Set] would have a problem is because it (like Set) relies on intrinsic ==, which is a philosophical obj.

@djspiewak no, it's a very practical objection. Please do not present this as a matter of opinion like Odersky does.