Implement identity monad and identity transform