なんてことを思ったわけです。 ちょっと考えるとただの勘違いなので恥ずかしいです。まず IO a はそういう型名なのであって IO a という型コンストラクタではないということです。 IO の型定義は http://www.haskell.org/ghc/docs/latest/html/libraries/ghc…