fixed stoopeed bug
Habemus computational content for recursive datatypes!