idris-0.99.1: test/unique004/unique001e.idr

%language UniquenessTypes

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