types are dumb