Путаница в отношении отрывка в разделе «Виды и некоторый тип-foo» на сайте learnyouahaskell.com

Я новичок в Haskell, который прокладывает себе путь через замечательную книгу «Learn You A Haskell For Great Good». ". Этот вопрос связан с отрывком в разделе под названием «Виды и некоторые типы-foo»в главе 8. Отрывок, который гласит:

«Создание Фрэнкаэкземпляра Tofuдовольно прост.Мы видим, что tofuпринимает ja(поэтому примерный тип этой формы будет Maybe Int) и возвращает a taj. Таким образом, если мы заменим Frankна j, тип результата будет Frank Int Maybe.

Это несколько сбило меня с толку. На мой взгляд, последнее предложение должно звучать так:

«Итак, если мы заменим tна Frank, тип результата будет Frank Int Maybe».

Буду очень признателен за любое объяснение того, где я ошибаюсь.