Why does Maybe include Just?

Question

Thanks to some excellent answers here, I generally understand (clearly in a limited way) the purpose of Haskell\'s Maybe and that its definition is

Answer 1

Just is a constructor, a alone would be of type a, when Just a constructs a different type Maybe a.