checking whether pattern variable x shadows a constructor type of variable = A.B PatternShadowsConstructor4.agda:24,10-11 The pattern variable x has the same name as the constructor A.x when checking the clause fst r (c x) = x