
{-
 When the plugin is disabled, this won't compile and
 will instead trigger the error "Couldn't match type H with L".
 When the plugin is enable with NO Defer flag, it will not compile and
 instead give the more meaningful error "Forbidden Flow from Secret (H) to
 Public (L)."
 When the plugin is enabled with Defer flag, it will just trigger