Clarifying Data Constructor in Haskell

Question

In the following:

data DataType a = Data a | Datum 

I understand that Data Constructor are value level function. What we do above is defining