Fix a problem with [Integer] in the GADT backend

Pretty print instances for list of Integer (and double) where generated
twice.
This should also fix one of the automated test