Add a version of Class.hs based on type families.  BUT something is very wrong, because I cant write newFull.