本來放在 foldr 上好像被拿掉了 :-/