> On Tue Apr 18 00:50:20 UTC 2017, Iavor Diatchki wrote:
>
> these two instances really should be rejected as they
> violate the FD of the class: we can derive `TypeEq a a
> True` using the first instance and `TypeEq a a False`
> using the second one. Unfortunately, the check that we
> are using
Hello,
these two instances really should be rejected as they violate the FD of the
class: we can derive `TypeEq a a True` using the first instance and `TypeEq
a a False` using the second one. Unfortunately, the check that we are
using to validate FDs when `UndecidableInstances` is on, is not quit
