Realized they're already typed. Just to note, this is simply a mirror.