[CST-2] Strictness 99.8.7

[Matthew Richards]

> Erm...Phebe, you've contradicted yourself

Intentionally? :-)

> as far as I
> can see, your second solution says a similar thing to mine but more
> specifically.

Actually, I think in a way Phebe's solution may be *more* accurate than
Raymond's.  In this question, all "types" are of the form

int^k -->(S) int

Hence using

t -->(S) t'

doesn't really gain you anything; indeed, it suggests that t might be
something other than int^k and t' might be something other than int, which
it can't.  Although I suspect in practice both solutions would get the same
marks.

Matthew