{-# LANGUAGE TypeFamilies, MultiParamTypeClasses, FunctionalDependencies, FlexibleContexts, FlexibleInstances, UndecidableInstances, TypeSynonymInstances, GeneralizedNewtypeDeriving  #-}
module Test where

-- import HSX.XMLGenerator
import XMLGenerator

data M t a = M (t a)
data X = X
instance Monad (M m)
instance XMLGen (M m) where
    type XML (M m) = X

data FooBar = FooBar

instance EmbedAsChild (M IO) FooBar where
  asChild b = asChild $ (genElement "foo")

data I a = I a
instance Monad I

instance EmbedAsChild (M IO) (XMLGenT I ())