[Agda] Absurd pattern in implicit argument of a lambda abstraction

[Florent Balestrieri]

When an expression of type "{Empty} -> A -> B" is expected, it is not 
possible to write:
(\ {()})

Instead, it is necessary to name a function.
f : {Empty} -> A -> B
f {()}

-- Florent