testsuite/tests/typecheck/should_fail/tcfail108.hs


1
2
3
4
5
6
7
8
9

-- The instance decl is illegal without UndecidableInstances

module ShouldFail where

data Rec f = In (f (Rec f))

instance Eq (f (Rec f)) => Eq (Rec f) where
         (In x) == (In y) = x == y