1
2
3
4
5
let
  a = builtins.substring 1;
  b = a 3;
in
b "1234567890"