Use monad classes instead of transformer stacks

This should make it easier to write code without having to scatter lifts
everywhere.