4 ms·Yes in ML you'd have to eta-expand first: val id : 'a -> 'a fun id x = id xby kfl 14y agoYes in ML you'd have to eta-expand first: val id : 'a -> 'a fun id x = id x