Use squares instead of identity types between concatenation of paths