tests/typed.rkt
#lang reader "../lang/reader.rkt" typed/racket

define: fact([n : Integer]) : Integer
  if zero?(n)
     1
     {n * fact{n - 1}}

fact(5)