RepeatedVariableInPattern.err

RepeatedVariableInPattern.agda:5,1-6
Repeated variables in left hand side: A
when scope checking the left-hand side K A A in the definition of K