Каковы все соглашения об именах монад?

Похоже, что Haskell установил несколько соглашений об именах для монад.

Примеры:

• добавление T в конец для получения имени преобразователя монад (например, Reader -> ReaderT )
• с использованием runXXX для выполнения вычисления монады (например, runST , runReader )
• liftXXX для различных значений XXX

Есть ли другие соглашения об именах?