[strzibny]

I think combination of type annotations and pattern matching actually works pretty well. Yes, it's not Rust though:)