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