+
−module list where
+
−
+
−open import Data.List
+
−
+
−
+
−postulate a : Set
+
−postulate b : Set
+
−postulate c : Set
+
−
+
−l1 = [ a ]
+
−
+
−l2 = ( a :: [] )
+
−