<p dir="ltr">a and c can be anything: function, algebraic type, ...</p>
<p dir="ltr">That's the thing. Prod a [c] leaves plenty of room.</p>