CoAxiom
data Branched
data Unbranched
type BranchIndex
data BranchList a br
toBranchList
fromBranchList
toBranchedList
toUnbranchedList
brListLength
brListNth
brListMap
brListFoldr
brListMapM
brListFoldlM_
brListZipWith
data CoAxiom br
data CoAxBranch
toBranchedAxiom
toUnbranchedAxiom
coAxiomName
coAxiomArity
coAxiomBranches
coAxiomTyCon
isImplicitCoAxiom
coAxiomNumPats
coAxiomNthBranch
coAxiomSingleBranch_maybe
coAxiomRole
coAxiomSingleBranch
coAxBranchTyVars
coAxBranchRoles
coAxBranchLHS
coAxBranchRHS
coAxBranchSpan
coAxBranchIncomps
placeHolderIncomps
data Role
fsFromRole
data CoAxiomRule
type Eqn
data BuiltInSynFamily
trivialBuiltInFamily