renaming module funpatt
   renaming of d in funpatt.gf, line 11
      data constructor expected but funpatt.D1 is found instead