あちこちで紹介されているので読んでみました。全て理解したわけではないですが、今までなんとなくもやもやだったkindについては結構スッキリしました。
型推論に関しては、Types and Programming Languagesがあちこちで薦められていますが理解できるんだろうか…