Typed structs on steroids based on algebraic types and pattern matching
seamlessly integrating with standard Ruby features.