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]

>>6
>>7
>>8
proof that /prog/ is populated by #haskell