comment-ICFP 2006-1, comment-ICFP 2006-10, comment-ICFP 2006-11, comment-ICFP 2006-12, comment-ICFP 2006-3, comment-ICFP 2006-4, comment-ICFP 2006-5, comment-ICFP 2006-6, comment-ICFP 2006-7, comment-ICFP 2006-9, johannes