Indeed. It's bizarre that some Haskellers push this as an example of one of the benefits of Haskell when it's implicit behaviour, exactly what I use Haskell to

Indeed. It's bizarre that some Haskellers push this as an example of one of the benefits of Haskell when it's implicit behaviour, exactly what I use Haskell to avoid. If, on the other hand, sort were `[a] -> Stream (Of a) ()`, well, that would be something else ...