Yes in ML you'd have to eta-expand first: val id : 'a -> 'a fun id x = id x

		kfl on July 8, 2012 \| parent \| context \| favorite \| on: Confession of a Haskell Hacker Yes in ML you'd have to eta-expand first: `val id : 'a -> 'a fun id x = id x`