remove redundant import
switch to bifunctors
comments only
delete
bump version number
replace functional dependencies by type families
  replace functional dependencies by type families
Upgrade to ghc 7.8

- Changed the Family type families to use PolyKinds
- Hand written some newtype derivings that are no longer allowed
Changed package name and updated version number