We successfully typecheck eta-expanded showLongHash