that is the ismorphism and with type classes that ...

# arrow

[raulraja]

that is the ismorphism and with type classes that factory you could have it as a implicit extension that is active when those two other constrains are met