Agda-2.3.2.2: test/fail/TooManyArgumentsInLHS.agda

module TooManyArgumentsInLHS where

F : Set -> Set
F X Y = Y