T
NewType
NewTypeF
t
MkAndBooleanSyntax
MkExceptionDisplaySyntax
MkVoidSyntax
MkOrBooleanSyntax
MkVoidSyntax
to
Iso
toFallible
Recoverable
types
extend