Agda-2.3.2.2: test/fail/UninstantiatedDotPattern.agda

module UninstantiatedDotPattern where

f : Set -> Set -> Set
f .X X = X