returnType returns possibly polymorphic definition's return type, need to call typeSignatureIn