ComposeConst1 is now a Bifunctor! (those two definitions took way too long)