[rerdavies]

Not really sure that a type system is going to guarantee that your program generates the correct result for every possible input.