refactor Relation as Relation to avoid type class constraints in data constructors