Rename spec to examples
Do not use Validation for user-facing API
Updated CHANGELOG.md
Drop bifunctors dependency