Data.PolyMap.Relation

data family Relation as

class ToRelation a as