-- Computes the square of an integer number:
square :: Int -> Int
square x = x * x

-- Computes the minimum of the integers:
mini :: Int -> Int -> Int
mini x y = if x <= y then x else y

-- Computes the factorial of a number:
fac :: Integer -> Integer
fac n = if n == 0 then 1 else n * fac (n - 1)

-- A compile-time error:
-- squareTrue = square True