gistfile1.hs

class Functor f where
    type C f a :: Constraint
    type C f a = ()
    fmap :: (C f a, C f b) => (a -> b) -> f a -> f b

-- Инстансы для "неограниченных" функторов остались без изменений:
instance Functor [] where
    fmap = map

instance Functor Set where
    type C Set a = Ord a
    fmap = Set.map