Servant.Checked.Exceptions
Throws API parameterdata Throws e
NoThrow API parameterdata NoThrow
Envelope response wrapperdata Envelope es a
Envelope helper functionsEnvelope constructorsEnvelope destructorsEnvelope opticsEnvelope and EitherOpenUnion (used in ErrEnvelope)type OpenUnion
OpenUnion HelpersUnion (used by OpenUnion)data Union f as
data Nat
class UElem a as i
type IsMember a as
OpenProduct (used by OpenUnion)type OpenProduct
data Product f as
class ToOpenProduct tuple as
class ToProduct tuple f as
type family ReturnX x as where ...