It also makes you bitter, at least in my experience.

Completely agree, I guess I meant if you're writing an application you're going to be a lot less productive using Idris.