Strict Identity Monad, handy for writing fast code!
