A mini-language to define stochastic state machines sampled in parallel using GPUs, written in Haskell for shiggles