Now compiles on GHC 7.4 (albeit only with support for unnamed implicit parameters)