genLiftElem2 :: (String, String) -> String
genLiftElem2 (strTy1,strTy2) = "instance Elementable a => LiftElem2 " ++ strTy1 ++ " " ++ strTy2 ++ " a"
genLiftElem2 :: (String, String) -> String
genLiftElem2 (strTy1,strTy2) = "instance Elementable a => LiftElem2 " ++ strTy1 ++ " " ++ strTy2 ++ " a"
genLiftElem2 (strTy1,strTy2) = "instance Elementable a => LiftElem2 " ++ strTy1 ++ " " ++ strTy2 ++ " a"