This call makes sense: ```haskell seriesF @'[Hour, Minute] ``` While this one doesn't: ```haskell seriesF @'[Minute, Hour] ``` It would be good to define some type-level predicate `IsDescending` using type families for ensuring more compiletime safety in `seriesF` function.