abstract A = {

cat A ;
    B (A 1) ;

}