Compiling typeerrors/Edinburgh/Ex14.hs (3,37): Type error in application *** Expression : fac (n==1) *** Term : (n==1) *** Type : Bool *** Does not match : Int Compilation failed with 1 type error