genLiftElem1 :: String -> String
genLiftElem1 strTy1 = "instance Elementable a => LiftElem " ++ strTy1 ++ " a"
genLiftElem1 :: String -> String
genLiftElem1 strTy1 = "instance Elementable a => LiftElem " ++ strTy1 ++ " a"
genLiftElem1 strTy1 = "instance Elementable a => LiftElem " ++ strTy1 ++ " a"