Add ambiguous types language extension
Merge pull request #41 from niilohlin/master

Pull in the change. Still need to add some stuff for it to work with older GHC versions...