T5281.hs:6:5: warning: [-Wdeprecations (in -Wdefault)]
    In the use of ‘deprec’ (imported from T5281A):
    Deprecated: "This is deprecated"