[millstone]

I'm not sure that functions alone are sufficient. That's why Haskell supports existential types, and there isn't a convention for distinguishing them so the critique applies.

[cultus]

Existential types are types of values. There is no distinction.

[cultus]

Existential types are types of values.