⊥はNothingに似てるしMaybeはMonadだから副作用と関係ありそうだけどな