Liquid Types For Haskell Ranjit Jhala University of California, San Diego Joint work with: N. Vazou, E. Seidel, P. Rondon, D. Vytiniotis, S. Peyton-Jones