Data.Type.List.List

The type-level constructors of type lists.

Documentation

data Nil

Instances

Typeable Nil

NuElimList Nil

data r :> a

Instances

Typeable2 :>

(NuElimList args, NuElim a) => NuElimList (:> args a)

type family r1 :++: r2

proxyCons :: Proxy r -> f a -> Proxy (r :> a)