4 ms·Do you mean to ask whether `Set` (no `e`) is a functor?by tmoertel 2y agoDo you mean to ask whether `Set` (no `e`) is a functor?munchler 2y agoYes, I was just trying to be descriptive by including the full signature.tmoertel 2y agoOk. 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 agoUnderstood. 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 agoIf `F a = Set e` for some constant e, then F is a functor (just a trivial one)