path: root/testsuite/tests/typecheck/should_fail/tcfail169.hs

-- #958

module ShoulFail where

data Succ a = S a       -- NB: deriving Show omitted
data Seq a = Cons a (Seq (Succ a)) | Nil deriving Show