I think this might be a troll post, but here's my comment anyway

I think this might be a troll post, but here's my comment anyway. The reason why you didn't get this job is because they filtered out themselves, it was not you that was bad, it was them thinking you where too smart for them. It took a lot of time for me to figure out this, that in a relation you want someone that are on the same level. I used to think that companies want to hire the smartest people... But no, they want to hire people that are like them. Here's my tip: Start filter out jobs instead of having them filter you out! There are many jobs, especially if you are willing to relocate. Only apply for places that are as much into types and functional programming that you are! Or at least on your "nerd" level generally. Do the company have a technical blog that writes about this stuff? Do the company have a technical speaker that speak about this stuff? Is anyone at the company writing technical articles about this stuff? If you see a good article, reach out to the author and ask if they have any openings or can recommend a good company to work for. …