1 2 3 4 5 6 7 8
pub mod optiont; pub trait Transformer<TransformerMonad> { type ResultingMonad; } type RunTransformer<Monad, MonadTransformer> = <Monad as Transformer<MonadTransformer>>::ResultingMonad;