Dear Agda developers, Is it possible to switch on strictness for the Agda type checker? How much of strictness can be switched on? It is interesting to see how does strictness effect on the type check cost for a particular example. Thanks, ------ Sergei