INLINE foldr and traverse