Starting Point
Use
Appendix B
of the
Haskell 98 Report
as a specification.
Appendix B consists of some segments of (semi)formal notation, glued together, and clarified by informal text.