Greetings. Is it requried that the type used in guards always Bool? It seems to me that the Haskell language is dependent to Bool type, and Bool type is depending to the Haskell language causing a circular dependency problem. Of course this is not a practical issue. Is there a theoretical explanation? Thanks for taking time.