six monotonic futures typing