Give Library.fs trivial implementations and modify a signature of Future<T>