I want to have a type for chain of operators like
Chain = [ T => A, A => B, B => C, C => U ];
So T should be an input and U should be a