Hey I am currently reading Signals, Not Generators". I am on page 10 where the phantom type era is introduced. I have trouble understanding because I do not understand how the system is to be used. Let us assume I have a signal and an action to print the output: signal :: DSignal era Int action :: Int -> Io () action = putStrLn . show Now, I consume the signal: reactive = consume signal action => reactive :: Reactive era (IO ()) And make an io action: toIO reactive :: IO () My question is: what does this io action do? Thanks!