something similar came up in Andy Matuschak's notes too: