A very short note on homotopy $\lambda$-calculus