[DarylZero]

Monad transformers are different from monads. Monad transformers do have runtime costs, they are adding indirection at runtime.

[whateveracct]

Sometimes - it's pretty cool what GHC can do