added the letnext feature to confirm it's typesafe