Agda-2.3.2.2: test/fail/RepeatedVariableInPattern.agda

module RepeatedVariableInPattern where

K : Set -> Set
K A A = A