partial-function warning pragma (was: Proposal to deprecate and then drop fromJust)