A strict identity monad which completely evaluates its contents.