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. Regards, Andrea Sent with [ProtonMail](https://protonmail.com) Secure Email.