[RFC] Sibyl: Time Series Analysis in Haskell

I like the split! Can one convert code from convenience to .Safe in a piecewise fashion?

For DataKinds, I guess it depends on whether the type errors can be made to look understandable (like jackdk mentioned).

I prefer |> over &. I find & very odd-looking in pipes, since I’m used to thinking it has something to do with bitwise operations or references. The |> OTOH is also used in the IHP web framework, as well as in OCaml and Julia, and feels a bit like shell pipes, only with a direction added.