Module Bool 

type Bool = either {
  .false !,
  .true !,
}

A boolean value.