Converted to FP Complete Haskell Center
Carried out some structural ideas.