fficxx-0.1: template/ExistentialEach.hs.st

instance GADTTypeable $mother$ where
  data GADTType $mother$ a where 
$GADTbody$
    GADT$mother$Bottom  :: GADTType $mother$ BottomType
  data EGADTType $mother$ = forall a. EGADT$mother$ (GADTType $mother$ a)

cast$mother$ :: Exist $mother$ -> IO (EGADTType $mother$)
cast$mother$ eobj = do 
  let obj = $mother$ (get_fptr eobj)
  tclass <- isA obj  
  cname  <- getName tclass
  case cname of 
$castbody$
    _         -> return . EGADT$mother$ \$ GADT$mother$Bottom