Eu sou um noob de Haskell que está trabalhando no maravilhoso "Aprenda um Haskell para o bem". Esta pergunta está relacionada a uma passagem na seção chamada "Tipos e algum tipo de foo" no capítulo 8. A passagem que diz:

"Fazer Frank uma instância deTof é bem simples. Nós vemos quetof Leva umj a (portanto, um tipo de exemplo desse formulário seriaMaybe Int) e retorna umt a j. Então, se substituirmos Frank comj, o tipo de resultado seriaFrank Int Maybe. "

Isto me deixou um pouco confuso. Na minha opinião, a última frase deveria ser:

"Então, se substituirmost com Frank, o tipo de resultado seriaFrank Int Maybe. "

Qualquer explicação sobre onde eu estou errado seria muito apreciad