Thinking of ADT-like support for Immutables. Case matching using Java8

gistfile1.java

interface Q {}

@Value.Immutable
interface A extends Q{}

@Value.Immutable
interface B extends Q{}

@Value.Immutable
interface C extends Q{ int x(); int y(); int z(); }

int result = match(q)
  .caseA(a -> computeWithA(a))
  .caseB(b -> computeWithB(b))
  .caseC((x, y, z) -> compute(x, y, z)) // this overload takes destructured attributes
  .result();