A Haskell Primative that only has the element () prompt> () () prompt> :type () () :: () prompt> :t () () :: ()