Probabilistic Robotics (2006) implemented in Haskell