On: How do transformers work?

[visarga]

No, they use two coils around a metallic core. I made a few when I was a kid. I know.

[quickthrower2 → visarga]

No, they are a type that takes a monad as a type parameter and creates a new monad that extends the original monads capabilities. The downside is the need to use lift all the time to access the outer monad.