5 ms·

I think you could in raw linear logic—you wouldn't be allowed to introduce a type unless you eliminated it later.