Lerning MTL: convert to Identity Monad