namespace meowlang.typechecker;

public record TypeId(Guid Key, List<TypeId> GenericParams);