ra’s Twitter Archive—№ 46,087

f#/typed fp friends: is there a way to declare a self referential function type? meaning a function that takes as one of its arguments a function with its own signature. like type fn = int -> fn -> int but that's not allowed in f#. maybe haskell?