Small module for proving monad laws on RawMonad instances