Now the empty is a function because making a polymorphic value is hard to the value restriction.