Module block
nar::check::pats
Reduction blocking status
Something where a meta variable may block reduction. Agda.
A modified version of this thing in Agda.