T5922.hs:3:42:
    Illegal deriving item ‘show’
    In the data declaration for ‘Proposition’