This page reads like it is oriented towards hand-holding computer science students, rather than an encyclopedia article for the general public. I suggest this page be eliminated entirely, unless any helpful information here can be merged in with the Type signature page.