I really donot know how to use `newtype` ?

then how to use `newtype` ?  Would you mind explaining the newtype in detail ?

Sinerely!

___________________________________
fac n = foldr (*) 1 [1..n]

>>5
They're both unoptimized. foldl' (*) 1 [2..n] would be faster and use more space-efficient.