GADT version of LSM.