#lang plait
(define f (lambda ([x : Number]) (+ x 1)))
(define g (lambda (x) (+ x 1))) ;; type inference