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