-- | @partition@s a sum of fields type into a specified sum of fields types and
-- the remaining sum.
partition :: (Codomain sum ~ Codomain sub, Partition sum sub (sum :-: sub)) =>
             sum -> Either sub (sum :-: sub)
partition = TypeSums.partition
partition :: (Codomain sum ~ Codomain sub, Partition sum sub (sum :-: sub)) =>
             sum -> Either sub (sum :-: sub)
partition = TypeSums.partition
partition = TypeSums.partition