Some basic categorical & algebraic structures for Standard ML - View it on GitHub