Serokell is the most bizarre company with brave ideas of functional programming application. It provides full-stack functional programming (Haskell, Elixir, Rust, Agda) consulting and development services.