Skip to content

Use quantified superclass of Eq1/Ord1 to derive instance when available #44

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

Use quantified superclass of Eq1/Ord1 to derive instance when available #44