Change the implementation of duality to use associated types
Change the implementation of duality to use associated types

Now types implement the trait

    trait HasDual {
        type Dual;
    }

Thanks to Manishearth for the assist!

Munksgaard/session-types