The Agda's API was changed.