run :: T s -> Int
run ts  = case ts of
             T g -> let (x,_, b) =  g x id
                    in b
run :: T s -> Int
run ts  = case ts of
             T g -> let (x,_, b) =  g x id
                    in b
run ts  = case ts of
             T g -> let (x,_, b) =  g x id
                    in b