Okay, now before you get all excited, I must warn you that you still
won't be able to compile Control.Arrow. There is a good bit of work
that must be done in E before this will, in fact, compile. Much of
this work has to do with turning fully-applied Jhc.Basics.->s into
EPis, but there also seems to be some kind of problem with
multi-parameter newtypes...