Type-level map of typeclass name to type class lambda typeclasses on concrete types. Use module augmentation to add entries here for a new typeclasses.
Type-level map of typeclass name to type class lambda typeclasses on concrete types. Use module augmentation to add entries here for a new typeclasses.