removing 7misc.hs