title: Confusion regarding a passage in the "Kinds and some type-foo" section of learnyouahaskell.com
body: <p>I'm a Haskell noob who's working his way through the wonderful "Learn You A Haskell For Great Good". This question is related to a passage in the section called <a href="http://learnyouahaskell.com/making-our-own-types-and-typeclasses#kinds-and-some-type-foo">"Kinds and some type-foo"</a> in chapter 8. The passage that reads:</p>
  
  <p><em>"Making <strong>Frank</strong> an instance of <strong>Tofu</strong> is pretty simple. We see that <strong>tofu</strong> takes a <strong>j a</strong> (so an example type of that form would be <strong>Maybe Int</strong>) and returns a <strong>t a j</strong>. So if we replace <strong>Frank</strong> with <strong>j</strong>, the result type would be <strong>Frank Int Maybe</strong>."</em></p>
  
  <p>This has me somewhat befuddled. In my mind the last sentence should read:</p>
  
  <p><em>"So if we replace <strong>t</strong> with <strong>Frank</strong>, the result type would be <strong>Frank Int Maybe</strong>."</em></p>
  
  <p>Any explanation as to where I'm going wrong would be much appreciated.</p>