В следующем примере mypy возвращает ошибку: ошибка: несовместимые типы в присваивании (выражение...

Когда у меня есть зависимый тип в Haskell, как мне использовать значение, сохраненное в типе в...