f (x:xs) = if x > xs then x else xs


Problem5.hs:5:18:
    Occurs check: cannot construct the infinite type: t = [t]
      Expected type: t
      Inferred type: [t]
    In the second argument of `(>)', namely `xs'
    In the expression: x > xs