Broken dependencies: Agda