yes

https://en.wikipedia.org/wiki/Lambda_calculus#Typed_lambda_c... ``From a certain point of view, typed lambda calculi can be seen as refinements of the untyped lambda calculus but from another point of view, they can also be considered the more fundamental theory and untyped lambda calculus a special case with only one type.''