You can create a new tuple with all the fields of two tuples using ++ and this is even acknowledged on the typelevel with NamedTuple.Concat.
I would like to take a named tuple that has previously been constructed through various ++ concatenations, and subtract one of those tuple types from it.
(human ++ employee ++ musician) -- employee) == human ++ musician
Does this exist or is it possible to implement it?