Haskell Random from Datatype

Я новичок в Haskell. У меня есть тип данных:

data Sentence= Prop Int
          | No Sentence
          | And [Sentence]
          | Or [Sentence]
          deriving Eq

Я уже написал для него экземпляр Show

Однако, независимо от того, имеет ли это смысл или нет, я хотел бы иметь возможность генерировать случайное предложение. Как я могу сделать это в Haskell?