Ask HN: Which Bay Area startups are heavy on functional programming and hiring?

There are a few friends of mine looking actively to work for great startups in the Bay Area (and SF ideally) that are heavy on the FP - Scala, Haskell, OCaml, et al. Any takers and/or job postings?

(And yes, I realize AngelList exists! Wanted to see if there are any in particular that should be checked out :-)