\lambda x:False.
  [\lambda h:False. True]
  match x:False with []