Fixed warnings in simplStg/SRT, except for incomplete pattern matches

Fixed warnings in simplStg/StgStats, except for incomplete pattern matches

Fixed warnings in simplStg/SimplStg

Fixed warnings in vectorise/VectUtils

Fixed warnings in types/Generics

Fixed warnings in stgSyn/StgSyn

Fixed warnings in types/TyCon

Fixed warnings in types/Type, except for incomplete pattern matches

Fixed warnings in types/TypeRep

Fixed warnings in types/FunDeps

Fixed warnings in basicTypes/OccName

Fixed warnings in basicTypes/RdrName

Fixed warnings in utils/Encoding

Fixed warnings in utils/Digraph

Fixed warnings in basicTypes/Demand

Fixed warnings in basicTypes/Unique

Fixed warnings in coreSyn/ExternalCore

Fixed warnings in simplCore/OccurAnal

Fixed warnings in basicTypes/BasicTypes

Fixed warnings in basicTypes/Literal, except for incomplete pattern matches

Fixed warnings in basicTypes/Id

Fixed warnings in basicTypes/Var

Fixed warnings in basicTypes/Name

Fixed warnings in types/Coercion, except for incomplete pattern matches

Fixed warnings in coreSyn/MkExternalCore, except for incomplete pattern matches

Fixed warnings in coreSyn/PprExternalCore

Fixed warnings in coreSyn/CoreUtils, except for incomplete pattern matches

Fixed warnings in coreSyn/CoreUnfold

Fixed warnings in coreSyn/CorePrep

Fixed warnings in coreSyn/CoreSubst

Fixed warnings in coreSyn/CoreLint

Fixed warnings in coreSyn/CoreFVs, except for incomplete pattern matches

Fixed warnings in types/Class

Fix warnings in coreSyn/CoreTidy

Fix warnings in coreSyn/CoreSyn

Strictness tweaks

Parser tweak

A couple more parser tweaks

Make comb[234] strict

Strictness tweaks

Tell happy to be strict

Make the Parser Monad's return strict

Get a bit of sharing

Make sL strict in /both/ arguments to L

A touch more strictness in the parser

Add a bit of strictness to the parser

Use nilFS

Whitespace only

Fix #2062: foldr1 problem in hpc tool

Fix do-notation so that it works with -DDEBUG

Be a little keener to inline

This is really a bug.  A saturated call in an "interesting" context
should inline, but there was a strange "n_val_args > 0" condition, which
was stopping it.  Reported by Roman.

Fix the build
Work around various problems caused by some of the monadification patches
not being applied.

Replace ioToTcRn with liftIO

Remove unused custom versions of monad combinators from IOEnv

Remove unused custom versions of monad combinators from UniqSupply

Replace remaining uses of ioToIOEnv by liftIO, remove ioToIOEnv

Monadify iface/BuildTyCl: use return

Monadify iface/TcIface: use do, return, applicative, standard monad functions

Monadify iface/MkIface: use do, return and standard monad functions

Monadify iface/LoadIface: use return and liftIO

Monadify iface/IfaceEnv: use do, return and standard monad functions

Monadify typecheck/TcRnMonad: use return, standard monad functions and liftIO

Monadify typecheck/TcEnv: use do, return, applicative, standard monad functions

Monadify typecheck/TcRnDriver: use return and standard monad functions

Monadify typecheck/TcMatches: use return and standard monad functions

Monadify typecheck/TcMType: use do, return, applicative, standard monad functions

Monadify typecheck/TcInstDcls: use do, return and standard monad functions

Monadify typecheck/TcHsType: use do, return and standard monad functions

Monadify typecheck/TcSimplify: use do, return and standard monad functions

Monadify typecheck/TcSplice: use do and return

Monadify typecheck/TcTyClsDecls: use return and standard monad functions

Monadify typecheck/TcDefaults: use return and standard monad functions

Monadify typecheck/TcDeriv: use return

Monadify typecheck/TcClassDcl: use do, return and standard monad functions

Monadify typecheck/TcBinds: use do, return and standard monad functions

Monadify typecheck/TcArrows: use do and return

Monadify typecheck/Inst: use do, return and standard monad functions

Monadify typecheck/TcUnify: use do, return and standard monad functions
  there may be some accidental tab->space conversion

Monadify typecheck/TcTyFuns: use standard monad functions

Monadify typecheck/TcPat: use return and standard monad functions

Monadify typecheck/TcRules: use do, return and standard monad functions

Monadify typecheck/TcForeign: use do, return and standard monad functions

Monadify typecheck/TcExpr: use do, return and standard monad functions

Monadify specialise/Specialise: use do, return, standard monad functions and MonadUnique

Monadify specialise/SpecConstr: use do, return and standard monad functions

Monadify stgSyn/StgLint
 - made LintM a newtype instead of a type synonym
 - use do, return and standard monad functions
 - use MaybeT where `thenMaybeL` was used
 - removed custom versions of monad functions

Monadify stgSyn/CoreToStg
 - made LneM a newtype instead of a type synonym
 - use do, return and standard monad functions
 - removed custom versions of monad functions

Remove generic monad function from State, it was moved to MonadUtils

Added MaybeT monad transformer to utils/Maybes

Removed unused Maybe functions, use the standard Maybe monad instead

MonadIO instance for IOEnv

Monadify simplCore/SimplMonad: custom monad functions are no longer needed

Monadify simplCore/SimplMonad: use MonadUnique instance instead of custom functions

Monadify simplCore/SetLevels: use do, return, standard monad functions and MonadUnique

Monadify simplCore/SimplUtils: use do, return, standard monad functions and MonadUnique

Monadify simplCore/Simplify: use do and return

Monadify simplCore/SimplEnv: use standard monad functions

Monadify simplCore/SimplCore: use do, return and standard monad functions

Monadify profiling/SCCfinal
  - change monad type synonym into a newtype
  - use do, return and standard monad functions

Monadify coreSyn/CorePrep: use do, return, applicative, standard monad functions