add test case of occurs check, suggested by erisco from #haskell-blah