I would like to get GHC to infer the constraint past a GADT pattern match. For instance, suppose I have two functions, each with an inferred constraint:
