Add GHC 7.8 closed type family experiment.

Can avoid the clever "finite base cases while avoiding overlap" trick,
but maybe only because GHC 7.8 has better support for overlapping
instances?
Rename 'arg' to 'args'.