Re: No variables available for parameterised types

[Chris Warburton]

Looks like we just need to add the `mkIfCxtInstances ''F.Enumerable`
line suggested above.

Adding this to our "check we have Arbitrary instances" test makes it
pass. Now we just have to add it to the actual Haskell code generator.