Wrapper for indexed type families. Recursion checked.