Next Atypical Types 46

Haskell types are always correct

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


Next Copyright © 1999,2008 Mark Dominus