--
--
--
------------------
-- Exercise 13.18.
------------------
--
--
--
module E'13'18 where



-- Question: How do you show that two type descriptions don't unify?




-- "(Int -> b)" and "(Int, a, a)":
----------------------------------


-- First guess: They don't unify.




-- "(a -> Bool)" and "(a, a, [Bool])":
--------------------------------------


-- First guess: They don't unify.

-- 346


