parameterized (hackage): Parameterized/indexed monoids and monads using only a single parameter type variable.
Keywords: bsd3|control|library