idris-0.12.3: test/regression002/reg076.idr

data Qux : a -> Type where
  Tux : String -> Qux a

data Bar : a -> Type where
  Nil : Bar a
  (:>) : Qux a -> Bar a -> Bar a