Don't keep allocating nullary constructors