Yes you can make new instances of Lift. The class itself is defined in Language.Haskell.TH.Syntax. Simon | -----Original Message----- | From: template-haskell-bounces@haskell.org [mailto:template-haskell-bounces@haskell.org] On | Behalf Of WANG Meng | Sent: 05 April 2005 05:20 | To: template-haskell@haskell.org | Subject: [Template-haskell] not an instance of Lift? | | Hi All, | | When I am trying to define the following program: | | test x = [|x|] | y = test (Just True) | | The compiler will complain that Maybe Bool is not an instance of Lift. | | Is there any way to resolve this? Can I add instances to the class Lift? | | | -W-M- | @ @ | | | \_/ | _______________________________________________ | template-haskell mailing list | template-haskell@haskell.org | http://www.haskell.org/mailman/listinfo/template-haskell