https://symmetries.windtfw.com/Cubical.Relation.Nullary.Base.html
Cubical.Relation.Nullary.Base
cubicalrelationnullarybase
https://www.boost.org/doc/libs/1_45_0/libs/test/doc/html/utf/user-guide/test-organization/nullary-test-case.html
Nullary function based test case
nullary functiontest casebased