Причина «Ошибки подписи недопустимого типа» мне непонятна

#haskell Вопрос: Я определил типы данных ниже: data Plan a = Empty | Road a a (Plan a) deriving(Eq, Show) data Town a = Emptytown | Town a deriving(Eq, Show)…