ekmett/contravariant — pull request #9 by lfairy (2014-09-24 00:11:54+00:00)
Title: Add Decidable instance for ComposeFC

This uses a similar construction to the Divisible instance.