document the connection between my comonad-to-monad-transformer-transformer and Rift