Edited dkc-private : [Tutorial Types]