Resolve.Types
type Resolve a b
data Resolver a b
data ResolveException
resolveExceptionToException
resolveExceptionFromException