Merge pull request #270 from serras/fix-typed-holes

Fix problems with GHC's Typed Holes
Merge remote-tracking branch 'kazu/master'