type erasers are so annoying!