writed types