These are Haskell Type that don’t take on any extra arguments other than the Haskell Value Constructor.