Allow manual inference of return type (allow for type indexing of type constructor values)