please fix wierd forall a a. type in tests/pos/fixme0.hs