I'm reworking the Graphic.Base types so that the functionals are "inside" the DrawingR newtype.
Previously I had:
> type LocGraphic u = Point2 u -> DrawingR (PrimGraphic u)
Now I have
> type LocGraphic u = DrawingR (Point2 u -> PrimGraphic u)
I'm hypothesizing that this change will generally make the code more uniform, however it is only a hypothesis. As far as I can tell, Conal Elliott's Vertigo used this second form (though it avoided wrapping functionals with newtypes).
Quite a lot of code is currently broken and there is quite a lot of old code in Graphic.Base that will need removing when I have everything working again.