<?xml version="1.0"?>
<div class="add">

<a NAME="E1:39_1_1"/>
<font color="Maroon" title="c4">F</font> <a href="functor0.html#K14" title="FUNCTOR0:func.14">|</a> <font color="Maroon" title="c3">C</font> <a href="hidden.html#R1" title="HIDDEN:pred.1">=</a> <font color="Maroon" title="c4">F</font> <a href="functor3.html#K3" title="FUNCTOR3:func.3">*</a> <span class="p1">(<span class="default"><a href="yellow20.html#K3" title="YELLOW20:func.3">incl</a> <font color="Maroon" title="c3">C</font></span>)</span>
 
;<br/>
<b>hence </b><a NAME="E2:39_1_1"/>
<font color="Maroon" title="c4">F</font> <a href="functor0.html#K14" title="FUNCTOR0:func.14">|</a> <font color="Maroon" title="c3">C</font> is  <a href="functor0.html#V9" title="FUNCTOR0:attr.9">strict</a> <a href="functor0.html#V16" title="FUNCTOR0:attr.16">contravariant</a>  <a href="functor0.html#M2" title="FUNCTOR0:mode.2">Functor</a> of <font color="Maroon" title="c3">C</font>,<font color="Maroon" title="c2">B</font>
 ;<br/>


</div>
