update to last idris version with Lazy ( IO() )