SimpleFail3a.hs:10:3:
    Wrong category of family instance; declaration was for a data family
    In the type instance declaration for ‘S1’
    In the instance declaration for ‘C1 Int’