Add GADTs to LinearMap.