1.6.fix warnings

The code compiles now with -w Ae and -warn-error A.
Actually, instead of keeping this 'assumed' fact, 'because of the clauses above', in comment, wouldn't it be wiser to keep them as a guard as well? There's no totality checking over guarded matches anyway.