Agda-2.3.2.2: test/fail/MisformedTypeSignature.err

MisformedTypeSignature.agda:6,1-1
MisformedTypeSignature.agda:6,1:
Illegal function clause or type signature <EOF><ERROR> ...