Make records work properly with type families