| > Or add an instance declaration for `?env :: ([(String, b)], b1)' | | of the error message is a little surprising since I don't think you | can create instance declarations for implicit parameter contexts. Good point. I've improved the message S