In this case, I think the different name for the constructor was chosen specifically to show the difference between the term and type level. I think it's a good

In this case, I think the different name for the constructor was chosen specifically to show the difference between the term and type level. I think it's a good idea, when explaining Haskell, to not assume that no one gets confused by the constructor and type having the same name (it confused me to begin with).