Can’t prove that singleton types are singleton types while generating type class instance June 11, 2023 by Tarik This works as written as of the most recent shapeless 2.1.0-SNAPSHOT.