{- One expression of the belief is “everything is a function” in Haskell. ... A recurring answer is that such things are “functions of no arguments” or functions of a one-element type or “constant functions”. -} -- A sample function factorial :: (Integral a) => a -> a factorial 0 = 1 factorial n = n * factorial (n - 1)