Fix exprIsConApp_maybe (wasn't dealing properly with the EqSpec of the DataCon)