Function as a type #12