Init: unlike class_2, this does work (must be details with Eq_)
Init: OK, I think I've got the basics of custom typeclasses