PragmataPro has ligatures -- it is a great typeface for Haskell and Agda (in general as well, but especially those!) <a href="http:&#x2F;&#x2F;www.fsd.it&#x2F;fonts&#x2F;pragmatapro.htm" rel="nofollow">http:&#x2F;&#x2F;www.fsd.it&#x2F;fonts&#x2F;pragmatapro.htm</a><p>It isn&#x27;t free, but it is very well designed and appeals to my sense of aesthetic. Well worth the money.