我是否违反了抽象法？

Question

我有两个变量，第一个是Either String Int类型，第二个是类型IO (Either String Int)。

如您所见，两个变量的结构几乎相同，除了第二个变量包含在IO中。

为了使它可以组合，我计划将两者都提升为MonadTransformer EitherT，但是第一个变量我必须升入IO。

将第一个变量提升为IO以使其可组合是不对的，尽管它没有发生任何副作用。

即将投入IO环境。

Answer 1

不，没错;事实上，it is encouraged。