Would a Placeholder Type be Useful?