This writer really doesn't understand that functions and types are themselves objects..?