:: a -> () package:singleton-bool