shadedshapeless
Type class witnessing that every element of L has TC as its outer type constructor.
L
TC
Type class witnessing that every element of
L
hasTC
as its outer type constructor.