idris-0.12.3: test/unique004/unique001e.idr

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