Re: Extension.hs ForallXXX constraints