This one typechecks but loops forever:

  f :: Void -> a
  f _ = let x = x in x