@@ -333,7 +333,7 @@ reifyTTConstApp f (Constant c@(BI _))
333333 | f == reflm "BI" = return $ c
334334reifyTTConstApp f (Constant c@(Fl _))
335335 | f == reflm "Fl" = return $ c
336−reifyTTConstApp f (Constant c@(I _))
336+reifyTTConstApp f (Constant c@(Ch _))
337337 | f == reflm "Ch" = return $ c
338338reifyTTConstApp f (Constant c@(Str _))
339339 | f == reflm "Str" = return $ c