res1
    =   let
        in error
               "f (C1 1 2) no longer defined for T1 at line: 3"
res1
    =   let
        in error
               "f (C1 1 2) no longer defined for T1 at line: 3"
res1
    =   let
        in error
               "f (C1 1 2) no longer defined for T1 at line: 3"