Yet Another Monad Library for Standard ML