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