hls-tactics-plugin-1.2.0.0: test/golden/MetaCataCollapseUnary.hs

import GHC.Generics

class Yo f where
    yo :: f x -> Int

instance (Yo f) => Yo (M1 _1 _2 f) where
  yo = [wingman| intros x, cata x, collapse |]