fixing canDoGenerics1 (fixes #8468) (fixes #8479)

Signed-off-by: Jose Pedro Magalhaes <jpm@cs.ox.ac.uk>
Generic1 cannot yet be derived for datatypes with tuples with a parameter not in the last position