Function free but then signals are basically functions. It's like saying that a free monad represents a computation but doesn't actually execute it. The user

Function free but then signals are basically functions. It's like saying that a free monad represents a computation but doesn't actually execute it. The user can read the context and execute computations and side effects. From a DX point of view it can enable some good applications but it just shifts "where" the computation will run. The developer will still think in terms of functions.