counting word distributions isn't bad, but monad transformers are obviously yet beyond me