Skip to content

Use quanified superclass of Eq1/Ord1 to derive instance when available #56

Use quanified superclass of Eq1/Ord1 to derive instance when available

Use quanified superclass of Eq1/Ord1 to derive instance when available #56