Tony Morris

@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.

@puffnfresh Set uses intrinsic == to provide operations without certain constraints. You’re *claiming* that it’s bad to exploit that.

@djspiewak it's not a claim, I've demonstrated that it's totally unprincipled.

@puffnfresh “Unprincipled”. Who’s principles and why? Even your wording is definitionally subjective.

@djspiewak principled as in principled reasoning. Scala's equality and lack of parametricity does not give us this.

@puffnfresh And? That’s a fair more general problem than just Set. You’re picking one random casualty from a nuclear blast.