let

  // fix = \f. ((\x. f (\y. (x x) y)) (\x. f (\y. (x x) y)))

  fix = (\Fun:: h (| self=h |))
        [(| h=(\Fix:: Fun.f (\Args:: (Fix.self Fix) Args)) |)]
in

  fix

end