module Control.Functor.HT where void :: Functor f => f a -> f () void = fmap (const ())