When this option is not used, there should be effectively no added
overhead, thanks to the optimisation in
		
	
					 | 
			||
|---|---|---|
| .. | ||
| Options.hs | ||
				When this option is not used, there should be effectively no added
overhead, thanks to the optimisation in
		
	
					 | 
			||
|---|---|---|
| .. | ||
| Options.hs | ||