Closed
Description
Eql
is a typeclass used in multi-versal equality to check that regular universal equality ==
is allowed. I believe therefore that CanEqual
is a better name. That way, we do not raise the expectation that this is some sort of equality typeclass. And we avoid confusion and possible nameclashes if oneone we want to introduce an equality typeclass ourselves.