Pimping the standard library with shapeless