coerce package:monadology

A monad transformer for which coercibility is transitive.