Streamlined MOCP.hs