pub type ComputeCaps = None;
Pure computation capabilities: no I/O, no time, no randomness.
pub struct ComputeCaps;