Seal traits added only for implicit priority.
Seal implicit-priority traits generated for syntax.
Make DList a final class.
Make \/ a class.
Make Leibniz & Liskov sealed classes.
Missing explicit types.
Class-ify Alpha, BKTree, BijectionT, CaseInsensitive, CharSet, Coproduct.
Class-ify EitherT, LazyOption, & NonEmptyList.
Class-ify EphemeralStream, InsertionMap, LazyOptionT, Tree.
Finalize left, right.
Finalize SwitchingDisjunction.
Classify Either3.
Class-ify Zipper.
IndexedReaderWriterStateT is a class.
Replace datatypes' Instances traits with classes.
Class-ify Digit, PLens, TreeLoc.
Class-ify Endomorphic, NullArgument, Reducer, StoreT, UnwriterT.
UnitReducer needs to be a class too.
Class-ify NullResult.
Class-ify Endo, Heap, Lens, & the remainder.