<keyword>coercion</keyword>
<keyword>prefer</keyword>
<keyword>nocomposites</keyword>
<keyword>coinductive</keyword>
<keyword>constraint</keyword>
<keyword>corec</keyword>
<keyword>coercion</keyword>
<keyword>prefer</keyword>
<keyword>nocomposites</keyword>
<keyword>coinductive</keyword>
<keyword>constraint</keyword>
<keyword>corec</keyword>