Does anyone know whether Idris is a response to Haskell&#x27;s &#x27;Foldable&#x27; controversy?<p>It looks like it was released in 2012 on hackage but I don&#x27;t know how far back &#x27;Foldable&#x27; was envisioned.