Stained-Glass Types