Data.HList.GhcSyntax

For types

type e :*: l

type l :=: v

For records

(.*.)

(.=.)

(.!.)

(.-.)

(.@.)

(.^.)

(.<.)

(.<++.)

type e :+: l

(.+.)