definition module Optional

:: Optional a
	=	None
	|	Yes !a