pkg std =
	type option(@a) = union
		`None
		`Some @a
	;;
;;