Project demonstrating the bug with TypeFamilies in ghc 7.4.* and cabal