New posts in singleton-type

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

scala shapeless implicits singleton-type