Buggy attempt at only testing monomorphic terms.
Hooray, it works a bit better!
Update example