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