forgot to type check the type of a typed let expression