Web.Envelope
type Envelope e a
data Envelope' e a
data Success a
data Err e
toErr
toErr'
throwEnvelopeErr
throwEnvelopeErr'
toSuccessEnvelope
toErrEnvelope
toErrEnvelope'