data A = B { c :: A } main = main foo = foo