__export ShouldSucceed x xs;
1 x :: [[PrelBase.Bool]] ;
1 xs :: [PrelBase.Bool] ;