shapeless
Type class witnessing the least upper bound of a pair of types and providing conversions from each to their common supertype.
Type class witnessing the least upper bound of a pair of types and providing conversions from each to their common supertype.