spanl package:Agda