Data.HList.GhcSyntax
type e :*: l
type l :=: v
(.*.)
(.=.)
(.!.)
(.-.)
(.@.)
(.^.)
(.<.)
(.<++.)
type e :+: l
(.+.)