playing with shapeless