almost done with shiny new deriving. stuck on needing to separate PreOrd from supertype of Partialord. 2am....zzzzz
have CoreClasses deriving, monad deriving, and MonadCatch and MonadPlus laws, with error_t fully proved. wahoooooo.