Ticket #7006: A.hs

File A.hs, 169 bytes (added by anders_, 22 months ago)

A.hs

Line 
1{-# LANGUAGE KindSignatures, TypeOperators, DataKinds, GADTs #-}
2module A where
3
4data List (xs :: [*]) where
5  N    :: List '[]
6  (:>) :: x -> List xs -> List (x ': xs)