match the whole GADT constructor, not just the standardFunctionStyle ones