https://github.com/guicho271828/type-r.git
git clone 'https://github.com/guicho271828/type-r.git' (ql:quickload :type-r)