This is what I wrote about types