“First-class resources are a very general concept that programmers can use not only to implement safe