If you're so confident that algebraic data types will never become popular, I don't understand why you feel it's so important to convince a few nerds not to talk about them.

I don't think anyone here is advocating making the topic compulsory. There will always be some people who are interested in theory and others who aren't.