{-# OPTIONS -fth  -ddump-splices #-}

module TH_genEx where

import TH_genExLib
import Language.Haskell.TH

class MyInterface a where
  foo :: a -> Int
  foo1 :: Int -> a -> Int

$(genAny (reify ''MyInterface))


{-# OPTIONS -fth  -ddump-splices -XExistentialQuantification #-}

module TH_genEx where

import TH_genExLib
import Language.Haskell.TH

class MyInterface a where
  foo :: a -> Int
  foo1 :: Int -> a -> Int

$(genAny (reify ''MyInterface))


Add -XExistentialQuantification flag (should have been there all along)
Add -XExistentialQuantification flag (should have been there all along)