2 одновременных переименования типов в Haskell

Question

Нам дали задание создать словарь, как список кортежей с (String, String). Проблема здесь в том, что я на самом деле понятия не имею, могу ли я переименовать строку дважды одновременно, так как я хочу, чтобы кортеж выглядел так

(German, English)

Можно ли даже сделать так, чтобы это выглядело так?

type German =  String
type English = String
type Dictionary = [(German, English)]

Или будут конфликты? Было досадно, что я не нашел ни одной записи об этом, прошло почти 2 часа, и ни одна строчка кода не стоит сейчас:|

Answer 1

Да, вы можете сделать это. Вы не можете сделать противоположное

type German = String
type German = Int        -- conflicts here!

Answer 2

Конечно, вы можете, если не можете, вы не сможете скомпилировать type German = String во-первых, как это уже было названо;-)