Fix typo
Tweak layout
Test monad laws for Maybe monad
Merge branch 'feature/test-monad-laws' into develop