Kalman filter is a natural example of iterative algorithm. Writing it in Fold does not gain much.