function foo: A -> B -> C -> D function bar: E -> F