__export ShouldSucceed G K{H M};
1 data K = H PrelBase.Bool |  M G ;
1 type G = [PrelBase.Int] ;