What are the adjoint functor pairs corresponding to common monads in Haskell?

Question

In category theory, a monad can be constructed from two adjoint functors. In particular, if C and D are categories and F : C --> D and G : D -->

Answer 1

• Maybe comes from the free functor into the category of pointed sets and the forgetful functor back
• [] comes from the free functor into the category of monoids and the forgetful functor back

But neither of these categories are subcategories of Hask.