danr/genifunctors — pull request #6 by vlopezj (2014-12-31 16:13:25+00:00)
Title: Trivial support for non-parametric types

Non-plain type variables will be silently ignored.

Type family instantiations within type constructors will be ignored, as
long as they don't involve any of the plain variables.