road to identity monad