module tests

	module testb
	    Option a = {some: a} | {none}
	
	
	    option {none} x    = x
	    option {some: x} _ = x