module	Top Level Definitions			Alternatives			Expressions
	%	covered / total		%	covered / total		%	covered / total
module StateMonad	100%	15/15		100%	10/10		90%	96/106
Program Coverage Total	100%	15/15		100%	10/10		90%	96/106