skip :: a -> ()
skip _ = ()
{-# INLINE skip #-}

------------------------------------------------------------------------------
-- Folds with Reified Monoid
--------------------------------------
skip :: a -> ()
skip _ = ()
skip _ = ()