metatrait This crate uses RPITIT and Trait trait to implement monads with multiple wrapping types per single wrapped type.