note about gadt equivalenced