Generic is now a simple interface in mutability