Python from Wise Guy's Viewpoint

[Joe Marshall]

Fergus Henderson <fjh at cs.mu.oz.au> writes:

> prunesquallor at comcast.net writes:
>>
>>Cool!  So I can declare `Euclidean rings' as a type an ensure that I
>>never pass a non-Euclidean ring to a function?
>
> _If_ you prove that
> every declared instance of the type class is really a Euclidean ring,
> then that, together with the type system, will be enough to guarantee
> that the function's argument is always a Euclidean ring.

Yeah, but *that's* the easy part.