Control.Isomorphism.Partial.Constructors
nil
cons
listCases
left
right
nothing
just