<div dir="ltr">What is the syntax for copattern matching on a record with zero fields? I could not find anything in the documentation. For pattern matching on a data type with zero constructors, we have syntax for denoting an impossible case, but what about the analogous situation for copatterns? Note that C-c C-c will happily produce invalid code ("missing definition").<div><br></div><div>Christian</div></div>