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 Head as :: k
type family Tail as :: [k]
type family Init as :: [k]
type family Init' a as :: [k]
type family Last 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]
type family Fsts ps :: [k]
type family Snds ps :: [l]
type family Zip as bs :: [(k, l)]
type family Fsts3 ps :: [k]
type family Snds3 ps :: [l]
type family Thds3 ps :: [m]