IrreflexiveRelation ? (\x,y -> exportPartner x y)

IrreflexiveRelation ? (\x,y -> importPartner x y)