#!λ -t $ ((\x quote x) 3) x $ (quote quote) quote