Hi David On 2015-01-19, David McBride wrote: > I believe the feature "typed holes" first came about around ghc 7.8. Well that might explain why I can't find anything in GHC 7.4 ;-) Thanks. -- Greetings Elias