Trying to play the same tricks with OpenExp as with Exp and finding it more complicated.  Cruft introduced.
Ugly trial and error, fought to get Typeable constraints into some of the Sealed types, did not succeed.