Remove cast operations in expression tree

Question

I want to remove any cast expression in an expression tree. We can assume that the cast is redundant.

For example, both these expressions:

IFoo t =>