matchArg opts sc cc cs _prepost actual expectedTy expected =
  failure (cs ^. MS.csLoc) =<<
    mkStructuralMismatch opts cc sc cs actual expected expectedTy
matchArg opts sc cc cs _prepost actual expectedTy expected =
  failure (cs ^. MS.csLoc) =<<
    mkStructuralMismatch opts cc sc cs actual expected expectedTy
matchArg opts sc cc cs _prepost actual expectedTy expected =
  failure (cs ^. MS.csLoc) =<<
    mkStructuralMismatch opts cc sc cs actual expected expectedTy