Agda-2.3.2.2: test/fail/WrongHidingInLHS.agda

module WrongHidingInLHS where

f : Set -> Set
f {x} = x