Fixing and testing indexed types