DefaultArgUnknownName.idr:5:30:When elaborating right hand side of test:
When elaborating argument arg to function DefaultArgUnknownName.funWithBadDefArg:
        No such variable sadgjhsag