squire of the λ-calculus

Advanced
@karahobny

(:= ! (λ (∏ (ι _))))

7
Apply