Title: From Mathematics to Generic Programming