type a % b = (a, b)

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

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