The code that cleans up multiple, isomorphic types has a subtle error that