Supertype Boolean ~ Unit `ML` Unit Essentially Boolean is just a wrapper of Sum of Units. Contains either True or False. These constructors could be switched with not.