idris-0.9.14.2: test/unique001/unique001e.idr

data BadList : UniqueType -> Type where
     Nil : {a : UniqueType} -> BadList a
     (::) : {a : UniqueType} -> a -> BadList a -> BadList a