[Haskell-cafe] Postdoctoral Research Position: Type Inference in Functional Programming