| ++ | Papa.Base.Implement.Data.List, Papa.Base.Implement |
| allM | Papa.Base.Implement.Control.Monad, Papa.Base.Implement |
| anyM | Papa.Base.Implement.Control.Monad, Papa.Base.Implement |
| const | Papa.Base.Implement.Control.Applicative, Papa.Base.Implement |
| findM | Papa.Base.Implement.Control.Monad, Papa.Base.Implement |
| flip | Papa.Base.Implement.Data.Function, Papa.Base.Implement |
| forM | Papa.Base.Implement.Data.Traversable, Papa.Base.Implement |
| forM_ | Papa.Base.Implement.Data.Foldable, Papa.Base.Implement |
| lookup | Papa.Base.Implement.Data.List, Papa.Base.Implement |
| map | Papa.Base.Implement.Data.Functor, Papa.Base.Implement |
| mapM | Papa.Base.Implement.Data.Traversable, Papa.Base.Implement |
| mapM_ | Papa.Base.Implement.Data.Foldable, Papa.Base.Implement |
| mconcat | Papa.Base.Implement.Data.Monoid, Papa.Base.Implement |
| replicateA | Papa.Base.Implement.Control.Applicative, Papa.Base.Implement |
| replicateA_ | Papa.Base.Implement.Control.Applicative, Papa.Base.Implement |
| sequence | Papa.Base.Implement.Data.Traversable, Papa.Base.Implement |
| sequence_ | Papa.Base.Implement.Data.Foldable, Papa.Base.Implement |