/Я language (β)/Primitives/Void/

Void is an initial object of Arrow category.