Transformers for monadic algebraic structures bridging types from various monadic libraries (Fluture, monet)