gtGtEsNil :: (List b)  ->  (b  ->  (List c))  ->  (List c)
gtGtEsNil (Cons x xs) f = psPs (f x) (gtGtEsNil xs f)
gtGtEsNil :: (List b)  ->  (b  ->  (List c))  ->  (List c)
gtGtEsNil (Cons x xs) f = psPs (f x) (gtGtEsNil xs f)
gtGtEsNil (Cons x xs) f = psPs (f x) (gtGtEsNil xs f)