sorry, i corrects a wrong typo.

from >>
"my Type $a" doesn't constraint, while "my $a of Type" does constraint.
to >>
"my Type $a" does constraint, while "my $a of Type" doesn't constraint.

Reply via email to