definition module test

fac :: !Int -> Int