たとえば
f :: GenParser tok st ()
という関数があったら、st の部分に何が入っても f を使える、ということ（多相性）
逆にいえば、 f 自身は、 st に何が入ってるか知らない(中身を触れない)