Thank you for recommending "From Mathematics to Generic Programming"! I wasn’t aware of this book.