Why so serious about types?