most typed functional languages seem to fit: ocaml, f#, purescript, haskell