/Я language (β)/Primitives/Unit/

Unit is a terminal object of Arrow category.