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