Stack effects as first-class data types