[vchuravy]

One of the authors here, happy to answer questions.

[contravariant]

You had a perfectly good opportunity to call a function madness and then descend into it, why didn't you?

[philipov]

This could be a feature request.

[vchuravy]

Ah but what defines madness? For me it's innocuous functions that have surprising/wild behavior due to type inference disagreeing with me.

Most of the time I am the one wrong.

[Cthulhu_]

Ph'nglui mwgl'nafh Cthulhu R'lyeh wgah'nagl fhtagn?