text.dfy(10,10): Error: type parameter (T) passed to type ResultN must contain no references (got C)
text.dfy(12,10): Error: type parameter (T) passed to type ResultN must contain no references (got array<int>)
2 resolution/type errors detected in text.dfy
