Skein Relation object implementation via type families