Because Nim is not dependently typed. You can't get sh*t done without dependent types.