GADTs for generic signals test