cobbal

protocol Monad {
    typealias F
    typealias U
    class func bind<M : Monad where M.U == U>(Self, F -> M) -> M
    class func `return`(F) -> Self
}


extension Array : Monad {
    typealias F = T