How Functorial Are (Deep) GADTs?