can pattern match in instances
calc: stackvm