Idris project which is failing in runtime because of filter %D