Update PolyFunctor.hs