Tallying informal votes, it appears we are +5 in favor of Strict and Lazy modules with the same underlying representation, with deprecation of strict methods in Data.IntMap. I will be implementing this at Hac Phi tomorrow. Cheers, Edward