(λ [Bool, Bool] Bool)
(λ [&Bool] Bool)
(λ [&String, Bool] String)
(λ [&Bool] Int)
(hash k)
(λ [Bool] String)
(prn x)