MonadAsk is over constrained

[natefaubion]

The law for MonadAsk ask >>= \_ -> ask = ask only requires Applicative ask *> ask = ask. You can't execute effects depending on the environment, but you can compute results depending on the environment.

example = f <$> ask <*> other

[JordanMartinez]

Would the class be renamed to ApplicativeAsk?

[natefaubion]

I think it would be ApplyAsk. Technically, only Apply is needed for the law.