Use type families: done.