six monotonic futures typing futures