Can't prove that singleton types are singleton types while generating type class instance

This works as written as of the most recent shapeless 2.1.0-SNAPSHOT.