Adds Monoid' to Composable contraint, simplifies several types