Fixed all suggestions in Main.hs
Fix all hlint suggestions in TypeInf.hs
TypeInf does not require (Functor m)
Use liftM instead of fmap