title: What are some types and/or terms in system-f that cannot be expressed in Hindley Milner
body: <p>I remember reading somewhere that Hindley Milner was a restriction on system-f. If that is the case, could someone please provide me with some terms that can be typed in system-f but not in HM.</p>