Fix build error after rebase
Working prototype for open type families