Conversation

https://stackoverflow.com/questions/39186288/why-dollar-operator-is-so-complex-in-ghc-8-0-1 ghc8から($)の型がちょっと変わった件やっとわかりかけてきた。levity多相でunboxed typeのkindが*じゃなくなったからunboxed typeを含めた多相をやるときにはkindには*じゃなくてTYPE rを指定するという事らしい。