let
typcon_variable env t =
TVariable
(proj2_3 (lookup_typcon env t))