I think it'd make sense. The type is wrapped around `Option`'s anyways, so even if the pointer is freed, they wouldn't be able to shoot themselves too much.