types proc