strict identity monad, handy for writing high performance strict code sanely