text.dfy(6,10): Error: the type of this variable is underspecified
text.dfy(6,23): Error: type parameter 'T' (inferred to be '?') in the function call to 'EmptySet' could not be determined
2 resolution/type errors detected in text.dfy
