How to create a function type which takes generic as parameter and has a return type dependent on the properties of the parameter

Question

Sorry for the long and confusing title, but I\'m not sure exactly how to describe whats necessary in a way that would facilitate a shorter one.

Basically what I want