Use a more informative ADT instead of Bool in Pi.