agda/test/api/Issue1168.agda

module Issue1168 where

id : {A : Set} → A → A
id {A = A} a = a