The rust implementation has types