fold signature compiles