{motive : Std.Internal.UV.System.UnameInfo → Sort u} →
  (t : Std.Internal.UV.System.UnameInfo) →
    ((sysname release version machine : String) →
        motive { sysname := sysname, release := release, version := version, machine := machine }) →
      motive t