tcfail209.hs:4:1: error:
    • Illegal constraint synonym of kind: ‘* -> Constraint’
    • In the type synonym declaration for ‘Showish’
    Suggested fix: Perhaps you intended to use ConstraintKinds