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
LhasTCas its outer type constructor.