Added verified monads

This adds a typeclass of verified monads, which obey the monad laws in the same style as verified verified semigroups or monoids from Prelude.Algebra.