| Functor | MonadLib, MonadLib.Monads |
| fail | MonadLib, MonadLib.Monads |
| filterM | MonadLib, MonadLib.Monads |
| findAll | MonadLib, MonadLib.Monads |
| findOne | MonadLib, MonadLib.Monads |
| fmap | MonadLib, MonadLib.Monads |
| foldM | MonadLib, MonadLib.Monads |
| foldM_ | MonadLib, MonadLib.Monads |
| forM | MonadLib, MonadLib.Monads |
| forM_ | MonadLib, MonadLib.Monads |
| forever | MonadLib, MonadLib.Monads |