Thank you very much for all the answers for my previous question. I would like to ask one more question : in a function, we can declare, for example soupMethod :: Show a => (String,a) -> String However, writing "Show a => (String,a)" is not a convenience way. Can we declare a new type, for instance : type Chicken = Show a => (String,a) Thank you very much ! Phan Dung.
