Back away from GADTs in CFut