Pattern-bounded analogues of deepseq and force
Avoid DSL compilation overhead
A custom exception, raised by choice PatNodes, that can be caught in the caller
Related modules re-exported
Class of things that can be evaluated over an arbitrary finite pattern
Shared with GNFDataP (internal use)