temporal modalities as reactive type combinators

Tags: temporal modality, Alan Jeffrey, streams as coalgebra.