Instantiating function from type?

Related thread: