Haskell types are always correct

        fact :: (Num a) => a -> a

• Ask the compiler to tell you the type of some function

• Is it what you expect?

• Yes? Okay then!

• If not, your program almost certainly has a bug.