Parameterized/indexed monoids and monads using only a single parameter type variable.
- Support data-diverse-220.127.116.11.
- Added PNullary and PUnary injective type families.
- PMonoid is now a class with a single instance (courtesy of georgew).
- added fixities for backtick versions of pmappend, pappend, papply and pbind
- added changingState constructor which results in better type inference.
- Renamed Pempty to PEmpty.
- Added injective functional dependencies to PMEmpty, and PEmpty.
- TypeLevel is not exported by default
- Initial version with parameterized Semigroup, Monoid, Applicative, Alternative, Monad
- Added instances for OverlappingWhichReader, DistinctWhichReader, ManyReader, ManyState, and ChangingState