Just curious. What is shapeless used for here?