fourmolu-0.4.0.0: data/examples/other/no-linear-arrows-four-out.hs

type a % b = (a, b)

type Foo a m b = a % m -> b
type Bar a m b = a % m -> b