r7 : ()
r7 = case () of
  x@() -> x
()