Implement -X=GADTs and -X=RelaxedPolyRec