I got the same timing when using Int64 (or Int, or removing the type parameter completely) here (when removing the element type constraint to h in pushdown2!).
Edit: I can confirm that @Oscar_Smith version is faster than the one of @ndrsh (original post, not latest post), but I used quite an exotic system (Synology DiskStation).