Array types and function types