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