complement package:Agda

Time O(n).