pkg std =
	type result(@a, @b) = union
		`Ok	@a
		`Fail	@b
	;;
;;