Dependencies of various ways to write maybe-async code

[oli-obk]

graph TD
    feat[maybe async std] --> lib(maybe async libraries)
    lib --> lang[lang support]
    lib --> generic[generic galore]
    generic --> typenum[typenum style\nbounds horror]
    generic --> hard_for_lib[library authors\nwrite complex\nimpls]
    generic --> hard_for_user[users need to choose\nasync at call\nsites]
    lang --> effects
    effects --> typeck[typeck\ncomplexity]
    effects --> erica[trait solver\ncomplexity]
    effects --> types[type system\ncomplexity]
    lang --> desugar
    hard_for_lib -.->desugar
    desugar[desugaring async\nto generic galore]
    lang --> generic_defaults[generic param\ndefaults]
    hard_for_user -.-> generic_defaults
    hard_for_user -.-> generic_defaults_from_context[generic param\ndefaults inferred\nfrom context]
    lang --> generic_defaults_from_context
    typenum -.-> implied_bounds[implied bounds]