[jonathonf]

Does anyone know whether Idris is a response to Haskell's 'Foldable' controversy?

It looks like it was released in 2012 on hackage but I don't know how far back 'Foldable' was envisioned.

[tome]

It is not.