Why not just make all of these call-by-name?