DefaultExport.dfy(13,16): Error: arguments must have comparable types (got A.T and bool)
DefaultExport.dfy(25,16): Error: arguments must have comparable types (got D.T and bool)
DefaultExport.dfy(33,2): Error: duplicate name of export set: E
DefaultExport.dfy(31,7): Error: more than one default export set declared in module E
4 resolution/type errors detected in DefaultExport.dfy
