Remove unused Shapeless reference
Merge pull request #383 from ceedubs/rm-shapeless

Remove unused Shapeless reference