βη簡約
β簡約
と
η簡約
の組み合わせ