Problematic piece of code

[banacorn]

{:
    
  data Maybe a = Just a | Nothing

  data List b  = Nil | Cons b (List b)

  -- f : Maybe a -> Bool
  f x = case x of
           Just Nil -> True
           Nothing -> False

 :}