Remove boilerplate for Shapeless magic