Fix problems with GHC's Typed Holes
Merge pull request #270 from serras/fix-typed-holes

Fix problems with GHC's Typed Holes
fix #271