when copying an algebraic type extension from the definition to the implementation module
Attach a file by drag & drop or click to upload