enum Optional<T> : LogicValue,Reflectable {
    case None
    case Some(T)
    init()
    init(_ some: T)

    /// Allow use in a Boolean context.
    func getLogicValue() -> Bool

    /// Haskell's fmap,which was mis-named
    func map<U>(f: (T) -> U) -> U?
    func getMirror() -> Mirror
}