Add Data/Functor Compose,Constant,Identity,Product,Reverse