> As I read the specs, > > multi fib(0|1) { 1 } > > would be short for > > multi fib(Junction $ where 0|1) { 1 } > > which I believe doesn't do what you want.
Ah, yes, that's certainly consistent. Though not, perhaps, very useful. So maybe it's better that it doesn't compile at all. ;-) I guess I could (eventually) use: multi fib(Int where 0|1) { 1 } and this *does* work currently: multi fib(Int $ where 0|1) { 1 } Thanks, Damian