On 17.05.2016 16:24, Steven Schveighoffer wrote: > > But of course, if I want to know what type the expression x.foo will > yield, I have to do the above. typeof((()=>x.foo)()) (Arguably, function types should not even exist and typeof(x.foo) should give you what you want.)