I'm seeing data kinds, type families and rank n types being used in real code and want to cry out of happiness