I strongly dislike having to think about the color of functions while I’m programming. I want the type system to know