Fat-arrow example