λ.first implementation