BoydStephenSmithJr, (edited ) Hey, #Haskell, what's the more conservative extension to the report?
I think I can do what I want either way, but I don't really know how to do it in Haskell2010 with no extensions. (I have a non-parameteric type function/family in my semantics, and don't want to give up totality.)