Turn off exhaustiveness checking (thanks: Martin Jambon).