Working on pipe type checking
Merging