dunai: Type of reactimate is imprecise

[turion]

It has this type signature:

reactimate :: Monad m => MSF m () () -> m () 

But since reactimate itself continues to execute forever and never actually returns a (), it should have one of these type signatures:

reactimate :: Monad m => MSF m () () -> m void
reactimate :: Monad m => MSF m () () -> m Void

[ivanperez-keera]

Technically, you are right: the type signature could be more precise. Data.Void is in base, so depending on it should not be a problem.

[turion]

If you want, I can send a PR :)