Old stuff in one foldr
aravel