switch to ghc 7.8 and start using type level literal for permutation.