-- TAGS not to be found A{
data A
  = A { a :: A
    }