eqF :: (Eq (f ()), Functor f) => f a -> f b -> Bool
eqF s t = (() <$ s) == (() <$ t)
eqF :: (Eq (f ()), Functor f) => f a -> f b -> Bool
eqF s t = (() <$ s) == (() <$ t)
eqF s t = (() <$ s) == (() <$ t)