/** * An order instance for the {@link NonEmptyList} type. * * @param oa Order across the elements of the non-empty list. * @return An order instance for the {@link NonEmptyList} type. */ public static <A> Ord<NonEmptyList<A>> nonEmptyListOrd(final Ord<A> oa) { return listOrd(oa).contramap(NonEmptyList.toList_()); }