Self-sorting Semigroup/Apply/Applicative/Bind/Monad instances. #1
Add some tests for Layout laws.
Set version to 0.4.0.0
Update CHANGELOG.