Thank you for your help. > This is rather a problem with your definition. (See below.) I now understand the problem but I cannot find a solution. Any suggestion? It should be possible to lift a term of type T l. > Also I do not know what is the purpose of T. Just for the purpose of example.