Pm_tut> :t factorial
factorial :: Num a => a -> a