` the Y-Combinator in HALK `
` an empty : when not proceeded by a type is shorthand for any: `


:Y = {
   :λ.:f = {
      :λ.:x = {
         f.x.x
      }. :λ.:x = {
         f.x.x
      }
   }
}