Text this: Abstract Hidden Markov Models: a monadic account of quantitative information flow