classify : n ->
  with (
    lo Int; hi Int;
    lo : 10; hi : 100;
  ) ->
    when n is
      0 then "zero"
      _ then when (n > hi) is
               true then "large"
               _    then when (n > lo) is
                          true then "medium"
                          _    then "small";