Dependent Type A In Canada