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

maybeAp :: Maybe (a -> b) -> Maybe a -> Maybe b
maybeAp = [wingman|
  intros,
  destruct_all,
  obvious,
  obvious,
  obvious,
  ctor Just,
  application,
  assumption
  |]