Add generic tests for monad laws
Delete old 'maybe' include file