Type-Driven rather than Test-Driven Approach