Artifacts required in functional-style Reactive Programming