__export ShouldSucceed OL f mp sd;
1 f :: __forall [t t1 t2] => t -> [(t1, t2)] -> [t2] ;
1 mp :: __forall [t t1] => (t -> t1) -> [t] -> [t1] ;
1 sd :: __forall [t t1] => (t, t1) -> t1 ;
1 type OL a = [a] ;