Why should type be fluid, anyway?