type a % b = (a,b)

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