Tutorial on type-safe Markov networks in Haskell using Futurama example
izbicki.me