WiP on type classes in Datomisca