Functional Reactive Programming

type Behavior a = Time -> a