Removed GADTs dependence for Checked, as it was unnecessary and the constraints could be phrased elsewhere.