Я Haskell noob, который прокладывает себе путь через замечательный "Learn You A Haskell For Great Good". Этот вопрос связан с отрывком в разделе под названием "Виды и некоторые типы-foo" в главе 8. Отрывок, который гласит:
"Создание Frank экземпляра Tofu довольно просто. Мы видим, что tofu занимает ja ( поэтому пример типа этой формы будет Может быть, Int) и возвращает taj. Поэтому, если мы заменим Фрэнк на j, тип результата будет Frank Int Maybe."
Это меня несколько озадачило. На мой взгляд, последнее предложение должно гласить:
"Итак, если мы заменим t на Фрэнк, тип результата будет Frank Int Maybe."
Любое объяснение того, куда я иду, было бы очень оценено.