Add Decidable instance for ComposeFC

This uses a similar construction to the Divisible instance.