#type-classes

Duck typing says: if it quacks, it's a duck. Type classes say something stranger and more useful — it is not a duck, it never was, and you taught it to quack anyway.