Agda instance arguments loop