Refactoring + Example.hs