Duplicate definition for type T

This is very similar to Duplicate definition for x, but for type definitions instead of variables. For example,

Disco> type H = N * N
Disco> type H = Z + Q
Error: duplicate definition for type H.