Y = (f) -> g = f( (t...) -> g(t...) )