transformers:
Control.Monad.Foo.Transformer - for the actual data type for FooT
Feel free to amend that to keep the monad transformers where they are under Control.Monad.Trans.Foo - I hadn't checked before writing that out and have no real reason to move them.