The Output type is still being designed