Instantiate any abstract objects in a result type before checking fn body