Add basic tests
Add tests for monad laws