
  Trac # 958

module ShoulFail where

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



  Trac # 958

module ShoulFail where

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

