Delete skip, was unused
Delete skip, was unused

ndmitchell/hoogle,wolftune/hoogle,BartAdv/hoogle,ndmitchell/hogle-dead,ndmitchell/hoogle,wolftune/hoogle,ndmitchell/hoogle,wolftune/hoogle,wolftune/hoogle,ndmitchell/hogle-dead,BartAdv/hoogle,BartAdv/hoogle,BartAdv/hoogle