fourmolu-0.16.2.0: data/examples/declaration/value/function/fancy-forall-0-out.hs

wrapError ::
  forall outertag innertag t outer inner m a.
  ( forall x. Coercible (t m x) (m x),
    forall m'.
    (HasCatch outertag outer m') =>
    HasCatch innertag inner (t m'),
    HasCatch outertag outer m
  ) =>
  (forall m'. (HasCatch innertag inner m') => m' a) -> m a