Comonadic dataflow language (essentially Lucid) embedded in Haskell with coeffect analysis