fourmolu-0.0.6.0: data/examples/declaration/value/function/fancy-forall-1-out.hs

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