The wiki on www.haskell.org tells us the following about Applicative Transformers:
So where are applicative transformers? The answer is, that we do not ne
Saying they can be combined in a generic way does not mean they can be combined implicitly or invisibly or anything like that. =)
You still need to write a bit of code, either by using different mungers than <*>
and pure
or by adding some newtype noise. For example, using the TypeCompose package, you might write
test2 = ex (O (Just "abc")) [O (Just "pqr"), O (Just "xyz")]