:: a -> b package:singleton-bool