allow arrow annotations with zero arguments