If this should return a type it should be contracted as such. But I believe it can return a type or tc-results or other things.