-- | @one@ extends a function that consumes a fields type to a function that
-- consumes a disbanded data type containing just that fields type.
one :: (dc -> a) -> N dc -> a
one = foldN
one :: (dc -> a) -> N dc -> a
one = foldN
one = foldN