type (a `Foo` b) c = (a, b, c)