The Monad version of recursion schemes is provided. This library strongly relies on recursion-schemes.
We also provide multiple variants for some, but not all, morphisms. Such variants may have a single prime or two or more consecutive primes at the end of the function name, and may be of different types, but they are essentially the same.