gomi.swift

/// `* -> *`
public class K1<A> { public init() {} }

public protocol Functor {
    associatedtype A
    associatedtype B
    associatedtype FB = K1<B> 
    func fmap(f : A -> B) -> FB
}

extension Array : Functor {
	public typealias A = Element
	public typealias B = Any
	public typealias FB = [B]

	public func fmap<B>(f : A -> B) -> [B] {
		return self.map(f)
	}
}