3 ms·

Ok. It's just that, as asked, the answer is obviously no because if F = `Set e`, F is not a type constructor, so F cannot be a functor.

• munchler 2y ago
  Understood. I should've left the `e` out, but it's too late to edit now. (I love Haskell, but I'm not actually very good at it.)
• pxeger1 2y ago
  If `F a = Set e` for some constant e, then F is a functor (just a trivial one)