For instance, the programming language Haskell has a class Functor where fmap is a polytypic function used to map functions (morphisms on Hask, the category of Haskell types) between existing types to functions between some new types.
Για παράδειγμα, η γλώσσα προγραμματισμού Haskell έχει μια τάξη Συναρτητής όπου fmap είναι μία πολυτυπική συνάρτηση, που χρησιμοποιείται για να αντιστοιχίσει συναρτήσεις  (μορφισμούς στην Hask, την κατηγορία των τύπων Χάσκελ) μεταξύ των υφιστάμενων τύπων σε συναρτήσεις μεταξύ ορισμένων νέων τύπων.