-- Reported and fixed by Andrea Vezzosi.

module Issue898 where

id : {A : Set} -> A -> A
id = ?