<?php

class Maybe extends Enum {
	public static function Just($v) { return new Maybe("Just", 1, array($v)); }
	public static $Nothing;
	public static $__constructors = array(1 => 'Just', 0 => 'Nothing');
	}
Maybe::$Nothing = new Maybe("Nothing", 0);