The flatpipes module has a mode that works with POD types, and it declares the bounds with Copy Send, but Copy Send is not the same as POD. In particular it allows unique pointers and region pointers. Unique pointers will no longer be Copy once type-based move is implemented. Not sure about regions.