[avoid double definition of Nat in expl/Examples.hs
Helmut Grohne <grohne@cs.uni-bonn.de>**20131217143140
 Ignore-this: 4a73c4a17586a3a1d9e201280eef17a9
 Otherwise invoking igor2 results in:
     Ambiguous occurrence `Nat'
     It could refer to either `Examples.Nat',
                              defined at expl/Examples.hs:13:6
                           or `Generics.Pointless.Functors.Nat',
                              imported from `Generics.Pointless.Functors' at expl/Examples.hs:5:1-34
] hunk ./expl/Examples.hs 5
-import Generics.Pointless.Functors
+import Generics.Pointless.Functors hiding (Nat)