ググってもあまり引っかからないのでもっと適切な名前があるのかも知らん

Monadを継承した型クラスのこと

任意のmonad内で特定の型を便利に扱うために定義された型クラス

data Name = Name String
data User = User { name :: Name, age :: Int }

class Monad m => MonadDatabase m where
    getUser    :: Name -> m User
    deleteUser :: User -> m ()

型を(特定の場面で)便利に使用するために、

というApplication Monadを定義している