ex 10.16, 10.17
ex 10.18
played with MonoidWS