rhine-0.4.0.2: Functional Reactive Programming with type-level clocks