_fixed :: ( RDT tag, RDT action, RDT object , RDT system
         , Eq object
         , Apply tag system object action 
         )
           => tag -> Make
make_fixed tag = direct ( Derive tag ) ( example tag )


{
make_fixed :: ( RDT tag, RDT action, RDT object , RDT system
         , Eq object
         , Apply tag system object action 
         )
           => tag -> Make
make_fixed tag = direct ( Derive tag ) ( example tag )
make_fixed tag = direct ( Derive tag ) ( example tag )