Hey Janek, as a remark, Hoopl is the only library in GHC that defines its own "<*>" operation, which will clash with the AMP. Hoopl's <*> is conceptually just `mappend`, so if you're doing a large-scale refactoring of the module maybe consider adding a suitable Monoid instance to replace <*> with <> before it even becomes a problem. David