///|
pub struct T[A] {
  mut run : () -> A?
}