data A_GADT where A_GADT :: A t => t -> A_GADT

By the way, is there an extension that enables A_GADT to be automatically declared as an instance of class A?