The project in response to @ploeh's blog about types and tests. - View it on GitHub