> In b: am confused by what it means by "the constant functor" aren't there two constant functors?

Edit: I was confused because we went from a constant functor from Set_Bool -> Set_Bool to a constant functor from Type -> Type. I get now that the constant that they are looking for is the \$$Bool \in Obj_{Hask} \$$