yomimono
commented
7 years ago - consume result types from the underlying BLOCK modules over which modules are functorized
- emit result types from our own modules, rather than polyvars
- fully replace mirageblock{error,monad} with V1.Block.error