I am still in the middle of wrapping my head around why something like a TypedFunction2 is needed (for fold to work). Any spoilers to speed the process :)?