The intro is nice and easy and then it really jumps into some detailed PL theory that I couldn't quite grok. why do papers so often do this? start like a leisurely stroll and-BAM! "discrete comonads". Guess as a non-expert I'm not quite the target audience.