 
 /// The left-biased maybe monoid.
 public final class First<A> : K1<A> {
-	let val : Maybe<A>
+	public let val : Maybe<A>
 	
 	init(_ val : Maybe<A>) {
 		self.val = val


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


/// The monoid of endomorphisms under composition.
public final class Endo<A> : K1<A> {
	public let apply : A -> A
	
	init(_ ap : A -> A) {
		self.apply = ap
