A very short note on homotopy λ-calculus