type annotation of String.isEmpty: "isEmpty : String" => isEmpty : String -> Bool