@value interface Value<#x|#y|#z> { call (#self) -> () }