You can find the reason here https://github.com/LeanBitLab/LeanType/issues/546
You can find the reason here #546