/posts/2017-06-24-ghci-type-level-debugを開いてください。