GHC weist den ST-Monad-Code zurück, da er Typvariablen nicht vereinheitlichen kann?

Dies ist genau so, wie es beabsichtigt ist. Ein STRef ist nur in einer Ausführung von runST gültig. Und Sie versuchen, eine externe STRef in einen neuen Lauf von runST zu legen. Das ist nicht gültig. Das würde im reinen Code beliebige Nebeneffekte ermöglichen.

Also, was Sie versuchen, ist unmöglich zu erreichen. Mit Absicht!

Sie müssen im Kontext ST bleiben:

(Und wie hammar darauf hinweist, dass >= benötigt wird, benötigen Sie die Klasse Ord , die Num nicht liefert.)