[Haskell-cafe] What's the new type ?

type Parser a = GenParser Char () a newtype GenParser tok st a = Parser (State tok st -> Consumed (Reply tok st a)) As i know, the Parser type is just an alias of GenParser. Then can the second line be replaced as below? newtype GenParser tok st a = GenParser Char () (State tok st -> Consumed (Reply tok st a)) If it can , then what is the new type ? Sincerely! ----- fac n = foldr (*) 1 [1..n] -- View this message in context: http://old.nabble.com/What%27s-the-new-type---tp26208600p26208600.html Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.