writing types