ETBlue: 變成公民foldr了 XD