no shapeless in this repo anymore
starting A9 typeclasses
trying a1