3 ms·

Yes, I was just trying to be descriptive by including the full signature.

• tmoertel 2y ago
  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)