let
typcon_kind env t =
proj1_3 (lookup_typcon env t)