Idris' dependency work.