logic-TPTP-0.4.0 http://hackage.haskell.org/package/logic-TPTP が、 transformers-0.4.0.0 で Identity のインスタンスが幾つか定義された影響でコンパイルできない問題と、GHC-7.8で Kind-polymorphic Typeable https://ghc.haskell.org/trac/ghc/wiki/GhcKinds/PolyTypeable の影響でコンパイルできない問題を、報告しておいた。