Programmatically Solving Complex Problems with Parametric Polymorphism — Programming Keynou