How to prevent compilation when parametric conditions fail? - Modular