Ask HN: Top startups using functional languages?

Are there any companies, startups or top engineering companies using functional languages as their main stack?

Been meaning to apply for a job but can't find any companies that are using functional programming.

(Bonus if you're using racket, a variant of lisp or arc.)