Type.Family.List

type Ø

type (:<)

type Only a

type family as ++ bs :: [k]

type family as >: a :: [k]

type family Reverse as :: [k]

type family Init' a as :: [k]

type family Last' a as :: k

type family ListC cs :: Constraint

type family f <$> a :: [l]

type family f <&> a :: [l]

type family f <*> a :: [l]

(==)