Update TypeParamEffect-Polymorphic.hs