type Box<T: Type> {
    value: T,
}

pub fn main(world: World) -> Void raises {
    let box: Box<i32> = Box { value: 42 }
    if box.value == 42 {
        check world.out.write("generic shape ok\n")
    } else {
        check world.out.write("generic shape broke\n")
    }
}