Cleaner names for the hidden data family type constructors.