my ::MySig ::= :(Int, Num, Complex, Status :mice);
    :(Num Dog|Cat $numdog, MySig \$a ($i,$j,$k,$mousestatus));