needs type families
one last build fix, yes it builds now