MisformedTypeSignature.agda:6,1-1 MisformedTypeSignature.agda:6,1: Illegal function clause or type signature ...