 
 /// A monoid that `mappend`s its arguments flipped.
 public final class Dual<A> : K1<A> {
-	let dual : A
+	public let dual : A
 	
 	init(_ dual : A) {
 		self.dual = dual


/// The monoid of ordered values under min.
public final class Min<A : protocol<Comparable, Bounded>> : K1<A> {
	let val : A
	
	init(_ min : A) {
		self.val = min


/// The monoid of booleans under conjunction
public final class All {
	public let val : Bool
	
	init(_ val : Bool) {
		self.val = val
