paragraph on testing of polymorphic functions (a good read)