thrist-0.4: Type-threaded list

Safe HaskellSafe
LanguageHaskell98

Data.Thrist.List

Documentation

data List :: * -> * -> * where Source #

Constructors

El :: a -> List a a