add 写像の入れ子