Delete Types2, most of the ideas as in Types now
Delete Types2, most of the ideas as in Types now

BartAdv/hoogle,BartAdv/hoogle,ndmitchell/hoogle,wolftune/hoogle,wolftune/hoogle,wolftune/hoogle,wolftune/hoogle,BartAdv/hoogle,ndmitchell/hoogle,BartAdv/hoogle,ndmitchell/hoogle