Comment by rafaelRiv

It can create very bad one. Wake me up when it will make subtensial progress on Cubical Type Theory