An example of such a case is λ   x . ( x   x ) {\displaystyle \lambda \ x.(x\ x)} , for which no type can be derived using HM.
Ein Beispiel für einen solchen Fall ist λ   x . ( x   x ) {\displaystyle \lambda \ x.(x\ x)} , für das kein Typ mit dem HM hergeleitet werden kann.