Type class supporting HList subtraction. In case of duplicate types, this operation is a multiset difference.
If type T appears n times in this HList and m < n times in M, the resulting HList contains the last n - m
elements of type T in this HList.
Also available if M contains types absent in this HList.
Type class supporting
HListsubtraction. In case of duplicate types, this operation is a multiset difference. If typeTappears n times in thisHListand m < n times inM, the resultingHListcontains the last n - m elements of typeTin thisHList.Also available if
Mcontains types absent in thisHList.