Yep, annotating the examples with stack effects is in my plans :)