On 17.12.2013 00:33, Brandon Allbery wrote: > AMP is done, except insofar as ghc 7.8 has not been released yet. I heard about that, yes ;-) (Before I proposed the AMP I had a similar feeling as a few hours ago, that's why I mentioned it.) David