(motive : Std.Internal.IO.Async.System.SystemUser → Std.Internal.IO.Async.System.SystemUser → Sort u_1) →
  (x x_1 : Std.Internal.IO.Async.System.SystemUser) →
    ((a : String) →
        (a_1 : Option Std.Internal.IO.Async.System.UserId) →
          (a_2 : Option Std.Internal.IO.Async.System.GroupId) →
            (a_3 : Option String) →
              (a_4 : Option System.FilePath) →
                (b : String) →
                  (b_1 : Option Std.Internal.IO.Async.System.UserId) →
                    (b_2 : Option Std.Internal.IO.Async.System.GroupId) →
                      (b_3 : Option String) →
                        (b_4 : Option System.FilePath) →
                          motive { username := a, userId := a_1, groupId := a_2, shell := a_3, homeDir := a_4 }
                            { username := b, userId := b_1, groupId := b_2, shell := b_3, homeDir := b_4 }) →
      motive x x_1