This is your work, valued

squire of the λ-calculus

Advanced
@karahobny

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