Result of taking a Type-Driven rather than Test-Driven approach