Whether or not CL would still be CL if you embedded a Peridot-style type system is debatable. But the example given in TFA can be easily and straightforwardly r

Whether or not CL would still be CL if you embedded a Peridot-style type system is debatable. But the example given in TFA can be easily and straightforwardly rendered as a CL compiler macro. There might be useful things that Peridot can do easily that CL can't but these are not immediately evident, at least not to me.