type
either
(
α
, 
β
)
=
Variant
  •    
    { 
    α
     
    left
     }
  • or 
    { 
    β
     
    right
     }

Comments

The browser you use is not supported by this application, probably because it lacks some critical features.
For a better experience, please consider using this application with a supported browser.