AV
Size: a a a
AV
AV
λ
env :: TestData Identity
, а test 5 :: ReaderT (TestData Identity) Identity
. А инстанс у тебя написан только для случая где test 5 :: ReaderT (TestData m) Identity
и m ~ ReaderT (TestData m) Identity
LO
AV
AV
AV
MK
MK
AA
MK
MK
MK
AA
MK
LO
MK
MK