3 Ambiguous type variable(s) `a' in the constraint `Ord_ a'
4 arising from use of `gt' at tcfail043.hs:38
5 In the predicate expression: gt (hd bs) a
6 In the right-hand side of a lambda abstraction:
10 if eq a (hd bs) then True else search a (tl bs)
12 Compilation had errors