Haskell keeps track of your types automatically. You can ask it “what is the type of this expression” and it will infer it for you. Haskell is of course fully static typed (types erased at compile time).