@jonmsterling @blement I'm open to "here are some much weaker promises you probably want", but I also figure it's far more a matter of taste so long as it can't be invoked completely implicitly: importing a module-like construct alone shouldn't pull in implicit resolution