void
void : (-> void)
purpose: to construct the void value