手続き型との対比で語らないと理解しにくい