Change to Inl/Inr instead of a Bool in With