Are you implying that sum types wouldn't be expressed in a function signature?