let
  a = 5;
  b = 1;

  add = a: b: a + b;
in add a $ a $ b