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