Try flipping back the TApp cases with TypeFn operators before Union cases