A programming language that cannot return https://metanimi.dy.fi/cgit/fwd/atom?h=mvcheck