-- Exemplu expresie de tip:
--query :: [Char] -> (Char, Bool)
query :: (->) ([] Char) ((,) Char Bool)
query s = (head s, length s > 1)




-- expresie netipabilă:
--f x = x x
--  1   2 3  aparițiile lui x

-- x apariția 2 este funcție, trebuie să aibă un tip t1 -> t2
-- x apariția 3 este argument al lui x, deci trebuie să fie de tip t1-- x nu poate să fie și de tip t1 și de tip t1 -> t2