Data.Category.Comma

data CommaO

data (:/\:)

commaId

type ObjectsFUnder f a

type ObjectsFOver f a

type ObjectsUnder c a

type ObjectsOver c a

initialUniversalComma

terminalUniversalComma