more progress on dyn.hs