The function signature for radsToDegrees includes a type signature, even though this is a chapter before we get to the type system. This looks like a mistake because this is the first type signature I’ve seen in the book and the author repeatedly mentions that we will get to the types later.