[camccann]

You are correct, it's not. In the simply-typed lambda calculus, generally recursive constructs (such as fixed-point combinators like our friend Y) do not have valid types and are not legal.

Wikipedia has a nice article on it: http://en.wikipedia.org/wiki/Simply_typed_lambda_calculus