For some reason, SpecConstr wasn't taking account of let-bound constructors:
	let v = Just 4
	in ...(f v)...

Now it does.  An easy fix fortunately.