let
  function test(n: notatype, x: int): int = n + x
in
  test(10)
end