Agda Printf implementation demo