definition module fac

fac :: !Int -> Int