MonadRec型クラス