Shapeless now works

As above