https://github.com/modular-implicits/imp/pull/7#discussion_r1296068254
#7 (comment)