Don't declare terminal types twice