3 ms·Right, I was (stupidly, it was early!) just using "f" as a shorthand for a function type like x -> x.by kenko 14y agoRight, I was (stupidly, it was early!) just using "f" as a shorthand for a function type like x -> x.