I am looking at signatures for Arrow and Composable classes and I cannot understand some of them. Could you please explain me the following:<br>Let's take for example the following:<br><br>class FunAble h => FunDble h where<br>
resultFun :: (h b -> h b') -> (h (a->b) -> h (a->b'))<br><br>class FunAble h where<br> secondFun :: (h b -> h b') -> (h (a,b) -> h (a,b')) -- for 'second'<br><br><br>in the signatures: <br>
resultFun :: (h b -> h b') -> (h (a->b) -> h (a->b'))<br>secondFun :: (h b -> h b') -> (h (a,b) -> h (a,b')) <br><br>if (h b -> h b') is the input of these functions where does 'a' comes from in the output?<br>
<br>Thanks,<br><br><br><br>