Aggressive inlining to reduce the cost of the monad transformer stack.