add test (thanks to ski from #haskell) for recursive types that fails