supertagged
Lifted Orderings. Mix them to tagged & newtypes. Ex: object Width extends TaggedType[Int] with LiftedOrdering
object Width extends TaggedType[Int] with LiftedOrdering
Lifted Orderings. Mix them to tagged & newtypes. Ex:
object Width extends TaggedType[Int] with LiftedOrdering