For some functions it would be nice, if there were an easy way to have access to the expected return type. In Section 2 we list some use cases where this may be handy. Deducing the return type is already partly possible for class types, by adding a user-defined conversion function