Type-Driven rather than Test-Driven Approach
Merge pull request #11 from richardadalton/master

Type-Driven rather than Test-Driven Approach