Я нарушаю закон абстракции?

Question

У меня есть две переменные, первая с типом Either String Int а второй с типом IO (Either String Int),

Как видите, структура двух переменных практически одинакова, за исключением того, что вторая обернута в IO,

Чтобы сделать его составным, я планирую поднять оба в MonadTransformer EitherT, но первая переменная, которую я должен поднять в IO,

Это неправильно, чтобы поднять первую переменную в IO сделать его составным, хотя никаких побочных эффектов на него не произошло.

Это только собирается поместить в контекст IO.

Answer 1

Нет, это не так; на самом деле, это поощряется.