RFC: Add unboxed, abstract return types