[Agda] Typing.CheckRHS

[Sergei Meshveliani]

Dear Agda developers,

I continue investigating the type check cost of various parts in my
project.
And for certain module  Integer2.agda,  the option  -v profile:7 
shows something new:

    Typing.CheckRHS    267,464ms

This occurs the greatest part in Total for this module
(while in other considered modules the main part was Serialization and
Serialization).    
Can you, please comment this?

Thanks,

------
Sergei