Open
Description
This might have something to do with:
Eq implements
## Returns `Bool.true` if the input values are equal.
isEq : a, a -> Bool where a implements Eq
Maybe this puts isEq
in scope, which in turn is exposed in the module header? That's not how ability members would ideally work (they wouldn't get added to scope, ideally), but it might be how it works right now.
Note: Once we fix this, we should move the FAQ entry on function equality into the Bool.isEq
docs.