iTask compiler rejects non-overlapping instances as identical
class c a :: a
instance c (a, Real) where c = undef
instance c ([a],()) where c = undef
Error:
multiply defined
class c a :: a
instance c (a, Real) where c = undef
instance c ([a],()) where c = undef
Error:
multiply defined