こういう雑な類型論って何が面白いの?