V1 of constraint with cypher and typeclasses