use annotation ascription as syntax for effect casts