Working on exhaustiveness checking