Arrow types must be printed using the fat arrow symbol