-- | @inject@s a fields type into a sum of fields types.
inject :: Embed (N dc) sum => dc -> sum
inject = TypeSums.inject
inject :: Embed (N dc) sum => dc -> sum
inject = TypeSums.inject
inject = TypeSums.inject