Agreed, but would be nice to have a slightly more useful error message, like "this only works with GHC" instead of "irrefutable pattern":

    case lookupProgram ghcProgram conf of
      Nothing -> debug verbosity "sandbox exec only works with GHC" >> exitWith $ ExitCode 1
      Just ghcProg -> ...