fixed specs: TypeConcat -> TypeJoin