Well, monad transformers make things easy but the abstraction impacts runtime performance :(