Done Compose
Made all GetMonadAdapter() impls uniform
Tweak to test