Another try at case split for type families