import type Option *a = None + Some *a;
