{motive : Std.Internal.IO.Async.System.Environment → Sort u} →
  (t : Std.Internal.IO.Async.System.Environment) →
    ((toHashMap : Std.HashMap String String) → motive { toHashMap := toHashMap }) → motive t