Agda API changed.