On 18 February 2018 at 04:17, Ivan Perez <ivanperezdominguez@gmail.com> wrote:
[...]

type Signal a = MStream Time a
 
Sorry. Made a mistake. Should be:

type Signal a =  MStream (Reader Time) a