{motive : Std.Internal.IO.Async.System.SystemUser → Sort u} →
  (t : Std.Internal.IO.Async.System.SystemUser) →
    ((username : String) →
        (userId : Option Std.Internal.IO.Async.System.UserId) →
          (groupId : Option Std.Internal.IO.Async.System.GroupId) →
            (shell : Option String) →
              (homeDir : Option System.FilePath) →
                motive
                  { username := username, userId := userId, groupId := groupId, shell := shell, homeDir := homeDir }) →
      motive t