Proof of concept optics library for Standard ML - View it on GitHub