Re: [GHC] #13463: Deriving Functor / Foldable / Traversable for co-pattern type