Wow. Thank you for that thoughtful response. C aside, Haskell is my primary recent experience, so everything you say resonates. Like Idris, you're doing a lot to clean up Haskell.