Hello Cetin, Wednesday, November 5, 2008, 8:34:14 AM, you wrote: > let emp (has -> True) = False; emp (has -> False) = True > Warning: Pattern match(es) are overlapped proibably it's because GHC can't check view patterns for overlaps? -- Best regards, Bulat mailto:Bulat.Ziganshin at gmail.com