* drafts/2013-03-28-GetKth.lhs: