Sure it does.

Have you seen the type system used to generically dispatch matrices to GPUs or cpus.

Or the dispatching to give you auto-differentiation?

Maybe it's not your definition of "new ideas", but they are really useful and original.