------------------------------------------------------------------------------ data (----------! where true : Bool ; false : Bool ! Bool : * ) ------------------------------------------------------------------------------ ( b : Bool ! data !----------! where (--------------! ! So b : * ) ! oh : So true ) ------------------------------------------------------------------------------