<div>Got confused thinking that the pure function called by Constant's traversable instance was the pure defined in Constant's applicative, which just returns Constant. Was explained to me that the type is inferred by the 'f' passed to it. If you read my OP, thank you.<br></div><div><br></div><div>Regards,<br></div><div>Andrea<br></div><div><br></div><div class="protonmail_signature_block "><div class="protonmail_signature_block-user protonmail_signature_block-empty"><br></div><div class="protonmail_signature_block-proton ">Sent with <a href="https://protonmail.com">ProtonMail</a> Secure Email.<br></div></div><div><br></div>