resolve :: Parser.Type a -> TypeCheck
resolve (Parser.TyNominal _ (Parser.QualId path)) =
    let joined = Text.intercalate "." (path ^.. traverse.identLabel)
    in pure (TyNominal joined)
resolve :: Parser.Type a -> TypeCheck
resolve (Parser.TyNominal _ (Parser.QualId path)) =
    let joined = Text.intercalate "." (path ^.. traverse.identLabel)
    in pure (TyNominal joined)
resolve (Parser.TyNominal _ (Parser.QualId path)) =
    let joined = Text.intercalate "." (path ^.. traverse.identLabel)
    in pure (TyNominal joined)