andとorがあって再帰的定義できてこその代数型